Python Programs For Propositional Logic And Predicate