Logical Equivalences
laú b = bú aCommutative
laû 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)