More Logical Equivalences for Implies
l(a ¨ bc) = (a ¨ b) ú (a ¨ c)

l((a û b) ¨ c) = (a ¨ c) ú (b ¨ c)

l((a ¨ b) ú (b ¨ c)) ¨ (a ¨ c)

l(a ¨ b) = (ùb ¨ ù a)

lù(a ¨ b) = (a úùb)
l