Logikai műveletek azonosságai

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

Kommutativitás

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

Asszociativitás

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

Disztributivitás

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

Adjunktivitás (abszorpciós szabály)

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

Idempotencia

a∨a=a
a∧a=a

De Morgan-szabályok

¬a∨b=¬a∧¬b
¬a∧b=¬a∨¬b
Kulcsszavak: logikai műveletek azonosságai