propositional logic

truth tables; the tragic extent of my failings with regard to static compilation