The page is also available in English

Propositional Calculator

Input a Propositional Logic expression to decode it

Output

History

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.

Guide

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

About

This is a propositional calculus calculator also known as a logic 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]
Enquiries are preferred in English.

Support

If you want to support the development of this calculator you can do so at this link: buymeacoffee.com/infobits

Language

This website is available in multiple languages.

English Deutsch Español Português Français Italiano Dansk

Data

We use local storage to store your history. If you want to clear that data use the button below to do so.