Input a Propositional Logic expression to decode it
Below is examples of how to use each operator to compose a Propositional Logic Equation. Click on a operator below to insert a example.
This calculator requires some knowledge of Propositional Calculus to be used. If you are not familier with Propositional Calculus we have made a simple introduction to it. It is only meant as an introduction to the subject so if more knowledge is needed this can has to be found elsewhere.
Here is the link: Introduction to Propositional Calculus
This is a propositional calculator made for the course Computability & Logic at Aarhus University but is not associated with it. It can decode and visualize propositional logic expressions. It supports negation, implication, and, or, and equivalence. It will check if the expression is satisfiable, valid and give alternatives. It will also generate a truth table and a expression tree. It is meant to be an educational tool to help students understand propositional logic.
If you encounter errors or have feedback please contact us at: [email protected]
We use local storage to store your history. If you want to clear that data use the button below to do so.