BooleanTT - Boolean Algebra

BooleanTT is a lightweight yet powerful Boolean algebra app to:
● Simplify Boolean expressions, step by step
● Solve Karnaugh maps (K-maps)
● Generate and simulate logic circuits
● Build truth tables, SOP & POS
● Calculate and convert between number systems
● Learn the basics of Boolean algebra
+ Many more features, all in one app

Made for students of digital logic, computer science, electronics and discrete mathematics, and for anyone who works with logic gates.

● Simplify Boolean expressions
○ Type in Boolean notation (A·B + C') or propositional logic notation (P ∧ Q ⇒ R), or enter minterms and maxterms
○ Get the minimal Sum of Products (SOP) and Product of Sums (POS)
○ See NAND-only, NOR-only and factored forms
○ Quine–McCluskey minimisation, with hazards and how much shorter the answer is
○ Send the result straight to the K-map, truth table or circuit tools

● Step-by-step solutions
○ Every step names the Boolean law it applies: De Morgan's theorem, consensus, absorption, distributive, redundancy and more
○ See exactly what changed in each step
○ Tap a law to learn it: what it says, an example and a truth table that proves it

● Karnaugh map (K-map) solver
○ Interactive K-maps for 2, 3, 4, 5 and 6 variables
○ Tap cells for 1, 0 or don't care, or type Σm(…) + d(…)
○ Group the 1s for SOP or the 0s for POS, with colour-coded groups
○ Every minimal grouping, and hazards shown on the map
○ Custom variable names and map layouts

● Logic circuit generator
○ Draw the logic circuit for any Boolean expression, before and after simplifying
○ Common gates, NAND-only or NOR-only circuits
○ Combined gates and labels on every gate
○ Save and share circuits as images

● Logic circuit simulator
○ Build digital circuits piece by piece with AND, OR, NOT, XOR, NAND, NOR and XNOR gates
○ Switches, LEDs and value nodes with live outputs
○ Labels show the expression each gate computes
○ Save, open and share your circuits

● Truth table generator
○ Generate a truth table from one or more expressions
○ Compare columns to find equivalent expressions
○ Send any column to the SOP & POS generator

● SOP & POS generator
○ Tick the true rows of an interactive truth table
○ Get its canonical Sum of Products and Product of Sums

● Binary calculator & base converter
○ Binary, octal, decimal and hexadecimal
○ AND, OR, XOR and arithmetic operations
○ Convert between number bases

● Learn Boolean algebra
○ Lessons on logic gates, Boolean laws and truth tables
○ Video lessons, interactive gates and tutorials

● Easy to use
○ Type an expression once on Home, then open it in any tool
○ A smart keyboard built for Boolean and logic symbols
○ History of all your work, with bookmarks
○ Light and dark themes
○ 17 languages: English, German, Spanish, French, Hindi, Indonesian, Italian, Japanese, Korean, Polish, Portuguese, Russian, Sinhala, Tamil, Thai, Turkish and Vietnamese

● Premium
BooleanTT is free to use, with ads. Premium is an optional purchase that removes ads and unlocks full step-by-step solutions, NAND, NOR and factored forms, every minimal K-map grouping, custom K-map variable names, NAND and NOR circuits, larger circuits, column comparison, the Home screen tools, and saving and sharing.

Created by © Hashan C Rajapaksha
Version 2.3.2.2026

Recent changes:
2.3.2
* New! Rebuilt Step-by-step: shorter workings, every law named
* Redesigned UI Pages + 17 languages
* Fixes and stability improvements
2.3
* New! Rebuilt Karnaugh Map, now up to 6 variables
* New! Upgraded Simplifier: Multiple Answers
* New K-map layouts: Veitch-style headings, mirrored maps
2.2
* Propositional Logic Notation Inputs
2.0
* Fully recreated UI