Basic Solve Shrink ReCode Force CNF Force DNF Table ¬ ∧ ∨ not and or ~ & |