Properties of Logical Operators

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

Commutative laws

ab=ba
ab=ba

Associative laws

abc=abc
abc=abc

Distributive laws

abc=abac
abc=abac

Absorption laws

aab=a
aab=a

Idempotent laws

aa=a
aa=a

De Morgan's laws

¬ab=¬a¬b
¬ab=¬a¬b
Keywords: Properties of Logical Operators