Symbolic Logic Cheat Sheet - Search