CNF of (x and y) or (x and z)