Logic, Explained
an interactive guide

Logic,
explained one step at a time.

Six short, click-through lessons on the true/false rules under every program.

01

Boolean Operators

AND, OR, NOT, and XOR — the four basics.

start
02

Truth Tables

Every possible input, and what it evaluates to.

start
03 \u00ac(A\u2227B) \u2261

De Morgan's Laws

Flipping a negated AND/OR into an equivalent form.

start
04

Logic Gates

Boolean logic, built from tiny physical circuits.

start
05

Short-Circuit Evaluation

Why the second half of a condition sometimes never runs.

start
06

Conditional Branching

If/else chains are just logic deciding a path.

start