Logic Calculator

A comprehensive educational tool for working with various types of logic including propositional logic, Boolean algebra, and truth table generation. Perfect for students learning mathematical logic and professionals working with logical expressions.

Input a logical expression to analyze it (supports propositional logic, Boolean algebra)

Client-side only - your data never leaves your browser

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 Logic & Boolean Algebra

Work with propositional logic, Boolean algebra, and truth tables. New to these concepts? We provide educational introductions to help you get started.

Get Started →

About Logic Calculator

A comprehensive educational tool for propositional logic, Boolean algebra, and truth table generation. Perfect for students and professionals working with logical expressions.

Learn More →

Support

Support the development of this free educational tool. Your contribution helps us maintain and improve the calculator for everyone.

Buy us a coffee →

Contact & Report Issues

Found a bug or have feedback? We'd love to hear from you. Email us at [email protected]. Enquiries are preferred in English.

Send Email →

Frequently Asked Questions

Find answers to common questions about using the Logic Calculator

What is a Logic Calculator and what can it do?+

What logical operators does the calculator support?+

How do I create a truth table for my expression?+

What is the difference between propositional logic and Boolean algebra?+

Can I check if two logical expressions are equivalent?+

What does 'satisfiable' and 'valid' mean?+

How do I use the interactive expression tree?+

Is my calculation history saved?+

Can I use this calculator for homework or exams?+

Is the Logic Calculator free to use?+

Data

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