Propositional Calculator

Input a Propositional Logic expression to decode it


Click on a previous expression to decode it again. The history is saved locally in your browser. Only the latest 10 expressions are saved. If you want to clear it use the button below.


Below is examples of how to use each operator to compose a Propositional Logic Equation. Click on a operator below to insert a example.

Propositional Calculus

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.