Python Programs For Propositional Logic