proposition (npm): Propositional Logic
Keywords: Propositional Logic