Python Programs For Propositional Logic Truth