About Logic Calculator

What is this?

This is a logic calculator that supports propositional logic and boolean logic. It helps students and professionals work with logical expressions by providing analysis, visualization, and computational tools.

Features

• Decode and visualize propositional logic expressions
• Support for negation, implication, conjunction, disjunction, and biconditionals
• Check if expressions are satisfiable and valid
• Create comprehensive truth tables
• Generate visual expression trees
• Provide alternative equivalent formulations

Creator

This calculator was created by Jonathan Søholm-Boesen as an educational tool for students studying logic and computer science.

Maintained By

The Logic Calculator is currently maintained and developed by Infobits ApS, a software development company that builds privacy-friendly products.

Running costs and new material are shared with the organizations that sponsor the site. See our sponsors

Educational Purpose

This tool is meant to be an educational resource to help students understand propositional logic. While it was originally made for the course Computability & Logic at Aarhus University, it is not officially associated with the university.