Booleren aljebra

Booleren aljebra egitura algebraiko bat da.

Definizio formala

Booleren aljebra gutxienez $\perp$ eta $\top$ (edo 0 eta 1) elementuak dituen $E$ multzo bat da, zeinaren barnean bi barne-lege ($\vee$ eta $\wedge$) definitzen diren, propietate hauek betetzen dituena:

$a \lor (b \lor c) = (a \lor b) \lor c$	$a \land (b \land c) = (a \land b) \land c$	elkarkorra
$a \lor b = b \lor a$	$a \land b = b \land a$	trukakorra
$a \lor (a \land b) = a$	$a \land (a \lor b) = a$	absortzio
$a \lor (b \land c) = (a \lor b) \land (a \lor c)$	$a \land (b \lor c) = (a \land b) \lor (a \land c)$	banakorra
$a \lor {\neg}a = 1$	$a \land {\neg}a = 0$	osagarria