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.

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.