More Logical Equivalences
lù (aú b) = (ù b û ù a)
lù (a û b) = (ù b ú ù a)
 
l(a û ùa b)       = a û b
l(a ú (ù a û b)) = a ú b
 

DeMorganÕs Laws
Worth-remembering laws