Boolean Algebra Simplifier

Truth tables & logic simplification

CalculatorsFreeNo Signup
4.2(515 reviews)
All Tools

Loading tool...

About Boolean Algebra Simplifier

A boolean algebra tool that evaluates and simplifies expressions with AND, OR, NOT, XOR, NAND, NOR. Generates truth tables for up to 4 variables, shows logic gate equivalents, and applies simplification rules (De Morgan's, double negation, absorption). All processing is client-side. Essential for digital logic design, computer science, and discrete mathematics.

Boolean Algebra Simplifier Features

  • Truth table
  • Simplify
  • De Morgan's
  • Logic gates
  • Up to 4 vars
Boolean algebra operates on true (1) and false (0). AND: both true → true. OR: either true → true. NOT: flips value. De Morgan's laws: NOT(A AND B) = NOT A OR NOT B, and NOT(A OR B) = NOT A AND NOT B. These rules simplify digital circuit design.

How to Use

Enter a boolean expression:

  • Variables: A, B, C, D
  • Operators: AND(∧), OR(∨), NOT(¬)
  • Result: Truth table generated

Key Laws

  • De Morgan's: ¬(A∧B) = ¬A∨¬B
  • Double negation: ¬¬A = A
  • Absorption: A∨(A∧B) = A
  • Identity: A∧1 = A, A∨0 = A

Logic Gates

  • AND gate: output 1 only if all inputs 1
  • OR gate: output 1 if any input 1
  • NAND: NOT AND (universal gate)
  • XOR: exclusive or (odd 1s)

Step-by-Step Instructions

  1. 1Enter variables (A, B).
  2. 2Set AND/OR values.
  3. 3View the truth table.
  4. 4Check simplified form.
  5. 5See De Morgan's equivalents.

Boolean Algebra Simplifier — Frequently Asked Questions

What are De Morgan's laws?+

¬(A∧B) = ¬A∨¬B (break the AND, flip the sign). ¬(A∨B) = ¬A∧¬B (break the OR, flip the sign). Essential for simplifying NOT over grouped expressions.

Why are NAND and NOR called 'universal' gates?+

Any boolean function can be built using only NAND gates (or only NOR gates). This simplifies chip manufacturing — only one gate type is needed.

How many rows does a truth table have?+

2ⁿ rows for n variables. 2 variables = 4 rows, 3 = 8 rows, 4 = 16 rows. Each row represents one combination of inputs.

Share this tool: