Tak van de wiskunde met letters die een numerieke waarde vertegenwoordigen: variabelen die volgens rekenkundige regels gebruikt worden, zoals Boolean logic.

Zie Boolean logic.

Een algebra met vijf basisbewerkingen: union, intersection, difference, product, relational operation.

Algebra op basis van Boole-logica, gebruikt in de theorie over schakelen.