P
Initializing...
CNF evaluation decided in product time by multi-tape Turing machine · Prove2Me