Resolution:
standard / ## Figure 7.
Representing conjunctions with cycles. (a) Three cycles representing the literals , , and z, and the conjunction edges (bold) for a conjunction . (b) For x = y = false and z = true we obtain the conjunction-cycle Δ of length 6. (c) Any other assignment (e.g., x = true) destroys the conjunction cycle.
Mahmoody |