Logikai műveletek azonosságai

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

Kommutativitás

ab=ba
ab=ba

Asszociativitás

abc=abc
abc=abc

Disztributivitás

abc=abac
abc=abac

Adjunktivitás (abszorpciós szabály)

aab=a
aab=a

Idempotencia

aa=a
aa=a

De Morgan-szabályok

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