A package for Propositional logic (which is related to boolean algebra).