Example
lVerify (a ¨ b) = (ùb ¨ ùa)
lChoose a as the
variable.
lSubstituting 0 for a:
l(0 ¨ b) = (ùb ¨ ù0)
lwhich simplifies to:
l1 = (ùb ¨ 1), a known equivalence
lSubstituting 1 for a:
l(1 ¨ b) = (ùb ¨ ù1)
lwhich simplifies to:
lb = (ùb ¨ 0)