The models of the difference proposition Dq.uvw are:
+
The models of the difference proposition <math>\operatorname{D}q \cdot uvw\!</math> are:
+
<pre>
1. u v w du dv dw
1. u v w du dv dw
−
+
2. u v w du dv (dw)
2. u v w du dv (dw)
−
+
3. u v w du (dv) dw
3. u v w du (dv) dw
−
+
4. u v w (du) dv dw
4. u v w (du) dv dw
+
</pre>
−
This tells us that changing any two or more of the
+
This tells us that changing any two or more of the features <math>u, v, w\!</math> will take us from the center cell that is marked by the conjunctive expression "<math>u\ v\ w</math>" to a cell outside the shaded region for the area <math>Q.\!</math>
−
features u, v, w will take us from the center cell
−
that is marked by the conjunctive expression "uvw",
−
to a cell outside the shaded region for the area Q.