Thread: Give the Formal Proof
View Single Post
May24-09, 09:18 AM   #9
 
Recognitions:
Homework Helper Homework Help
Science Advisor Science Advisor
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.