Bulova algebra

Osnovne operacije

Konjungcija

Zamenjuje operaciju mnozenja
Označava se: x∧y , x*y

Disjunkcija

Zamenjuje operaciju sabiranja
Označava se: x∨y, x+y

Negacija

Pretvara tačan iskaz u netačan i obratno.
Označava se: ˥x, ‘x

Implikacija

Iskaz je istinit uvijek, osim ako je p istinito, a q lažno.
Označava se: p => q

Ekvivalencija

Iskaz je tacan ako su i p i q istovemeno tačni ili netačni.
Označava se: p <=>q

Izvedene operacije

NI

Iskaz je jednak 0 ako i samo ako su obe promenljive jednake 1.
Označava se: x NAND y

NILI

Iskaz je jednak 1 ako i samo ako su obe promenljive jednake 0.
Označava se: x NOR y

EXILI

Iskaz je jednak 1 ako i samo ako je jedna promenljiva jednaka 1.
Označava se: x XOR y