Logic

Properties of Logical Operators

Keywords:

¬¬a=a
   
¬=
¬=
 
a =a
a=a
 
a¬a=
a¬a=
 
ab=ba
ab=ba
  Commutative laws
abc=abc
abc=abc
  Associative laws
abc=abac
abc=abac
  Distributive laws
aab=a
aab=a
  Absorption laws
aa=a
aa=a
  Idempotent laws
¬ab=¬a¬b
¬ab=¬a¬b
  De Morgan's laws