1.1 AND gates and NOT gates

Todo: writeup about the basics of predicate logic and stuff