Construction by Example

-x

y

z

-z

z

y

x

-y

-x

G

clause

literal

Previous slide

Next slide

Back to first slide

View graphic version