Propositional Logic Cheat Sheet - Search