boolesk algebra
Boolesk algebra (efter George Boole), en mængde M med to operationer + og ∙, der har algebraiske egenskaber svarende til operationerne foreningsmængde, ∪, og fællesmængde, ∩. George Boole viste, at mange af de sædvanlige regneregler også gælder for logiske operationer som den logiske multiplikation