Non-Satisfaction Example
x
-x
y
-y
-z
z
b
g
r
Previous slide
Next slide
Back to first slide
View graphic version