View Single Post
May24-09, 09:18 AM
How about the solution to the OP? It seems impossible but it is so obvious.
Just use the definition:
A=>B is not(A) OR B
Plug things in and reduce both sides to some canonical form.