Osobine logičkih operacija

¬¬a=a
¬=
¬=
a =a
a=a
a¬a=
a¬a=

Kommutativnost

ab=ba
ab=ba

Asocijativnost

abc=abc
abc=abc

Distributivnost

abc=abac
abc=abac

Apsorptivnost

aab=a
aab=a

Idempotentnost

aa=a
aa=a

De Morganovi zakoni

¬ab=¬a¬b
¬ab=¬a¬b
Ključne reči: Osobine logičkih operacija