We use a truth table (note that means "true" and "false"):
Since the final columns of the two truth tables are the same, we can say that the two statements are equivalent.
Using a similar method, you can show that
Thus, we can show that
(from the result above)