Boolean Algebra

Within these castle walls be forged Mavens of Computer Science ...

— Merlin, The Coder

Logic Gate Symbols

Background

Formal Name	Abbreviated Name	Symbol	Gate	Truth Table
Buffer
Conjunction	AND	$A\land B$
Disjunction	OR	$A\lor B$
Exclusive OR	XOR	$A\oplus B$
Inverter	NOT	$\neg A$
Negated Conjunction	NAND	${\overline {A\land B}}$
Negated Disjunction	NOR	${\overline {A\lor B}}$
Negated Exclusive OR	NOT XOR	${\overline {A\oplus B}}$