MCA
BOOLEAN LOGIC // AND // OR // NOT // NAND // GATES // TRUTH TABLES // SATISFIABILITY // BOOLEAN LOGIC //
BACK TO MATH HUB
easy

Boolean Logic

Gates, truth tables, and binary operations

GATES_&_TABLES

The Power of Bits

0 or 1. True or False. The building blocks of every processor circuit on the planet.

A | B | A AND B
--|---|--------
0 | 0 |    0
0 | 1 |    0
1 | 0 |    0
1 | 1 |    1

Logical NAND

The universal gate. Any other boolean function can be created using only NAND gates.

NOT (A AND B)

SIMPLIFICATION

DE_MORGAN

¬(A ∧ B) ≡ (¬A) ∨ (¬B)

¬(A ∨ B) ≡ (¬A) ∧ (¬B)

Distributing negation through logical networks.

CIRCUIT_KIT

Karnaugh Maps

Simplifying boolean expressions visually.

Binary Adders

Performing math with logical gates.

Flip-Flops

Memory storage in sequential logic.

SAT Solvers

Determining boolean satisfiability.