   \               / \               /            |
|             o-------------o   o-------------o             |
|                                                           |
|                                                           |
o-----------------------------------------------------------o
Figure 1.  Polymorphous Set Q

In other words, the proposition q is a truth-function of the 3 logical variables u, v, w,
and it may be evaluated according to the &quot;truth table&quot; scheme that is shown in Ta