Assignment 2: Formula is now arrow free and in NNF. Must be converted to CNF.