Boolesk algebra

(eller: Boolean algebra). Matematisk teknik med rødder i den matematiske logik, udviklet af George Boole. Først i 1930'erne blev Booles logiske system anvendt i praktisk sammenhæng, idet Claude E. Shannon viste, hvorledes den symbolske logik kunne realiseres som elektriske kredsløb.

Boolesk algebra er grundlaget for den logik og datarepræsentation, som computere arbejder med. Enhver aritmetisk operation kan realiseres ved hjælp af Boolesk algebra, og dermed også enhver form for databehandling.

De Booleske operationer (som genfindes i programmeringssprogenes Boolean type) er primært AND, OR og NOT, og heraf kan afledes f.eks. XOR, XNOR, NAND og NOR. Se også udsagnslogik.