P
Initializing...
CNF evaluation decided in quadratic time by Turing machine · Prove2Me