Boolen algebra
Perusoperaatioille käytetään usein infix-merkintöjä:
x Ù y º AND(x,y)
x Ú y º OR(x,y)
Ø x º NOT(x) (merk. usein myös x`).
Perusoperaatiot noudattavat mm. seuraavia ns. Boolen algebran laskusääntöjä:
x Ú 0 = x
x Ù 0 = 0
x Ú 1 = 1
x Ù 1 = x
x Ú Ø x = 1
x Ù Ø x = 0
Ø 0 = 1
Ø (Ø x) = x
x Ú (y Ù z) = (x Ú y) Ù (x Ú z) [Ú :n osittelulaki]
x Ù (y Ú z) = (x Ù y) Ú (x Ú z) [Ù:n osittelulaki]
Ø (x Ú y) = Ø x Ù Ø y [De Morganin Ú-kaava]
Ø (x Ù y) = Ø x Ú Ø y [De Morganin Ù-kaava]