View Single Post
matt grime
May24-09, 09:18 AM
Sci Advisor
HW Helper
P: 9,396
Quote Quote by tgt View Post
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.