1)
Reduce the following to CNF:
2)
Use proof by resolution to prove that the following hold:
