Logical Equivalences
l
a
ú
b = b
ú
a
Commutative
l
a
û
b = b
û
a
l
(a
ú
b)
ú
c = a
ú
(b
ú
c)
Associative
l
(a
û
b)
û
c = a
û
(b
û
c)
l
(a
û
b)
ú
c = (a
ú
c)
û
(b
ú
c)
Distributive
l
(a
ú
b)
û
c = (a
û
c)
ú
(b
û
c)
l
