Logika

Logikai műveletek azonosságai

Kulcsszavak:

¬¬a=a
   
¬=
 
¬=
a =a
 
 
a=a
a¬a=
 
 
a¬a=
ab=ba
ab=ba
  Kommutativitás
abc=abc
abc=abc
  Asszociativitás
abc=abac
abc=abac
  Disztributivitás
aab=a
aab=a
  Adjunktivitás
(abszorpciós szabály)
aa=a
aa=a
  Idempotencia
¬ab=¬a¬b
¬ab=¬a¬b
  De Morgan-szabályok