More Logical Equivalences
l(a ú 1) = aIdentity
l(a û 0) = a

l(a ú 0) = 0Absorption
l(a û 1) = 1