Osobine logičkih operacija

¬¬a=a
¬⊥=⊤
¬⊤=⊥
a ∨⊥=a
a∧⊤=a
a∨¬a=⊤
a∧¬a=⊥

Kommutativnost

a∨b=b∨a
a∧b=b∧a

Asocijativnost

a∨b∨c=a∨b∨c
a∧b∧c=a∧b∧c

Distributivnost

a∨b∧c=a∨b∧a∨c
a∧b∨c=a∧b∨a∧c

Apsorptivnost

a∨a∧b=a
a∧a∨b=a

Idempotentnost

a∨a=a
a∧a=a

De Morganovi zakoni

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