

![0_image_0.png](0_image_0.png)

![0_image_1.png](0_image_1.png)

example, if Ci has three 3lauses ((x; y; z); (x; y ; z  ); (x; y; z)), then the set of 2lauses Di would be ((x; z); (x; y)). The onjun tion of Di , denoted by ', is a 2-SAT problem. It is