TODO
A program to do propositional logic by Vegan Teppich. It is just a work in progress, so it doesn't work correctly.