Let f=~(x+ ~y(~x+z)). (a) Write out the truth table for f. (b) Convert the truth table to CNF. (c) Show the series of steps DPLL makes while solving the resulting formula. Assume variables chosen for splitting in the order x, y, z.
Using the same f from the first part, follow the 3-CNF conversion algorithm to create an equivalent 3-CNF formula.
