a) By the Distributive Law (number 3 on the list):

Becomes:

is always false! They can't both be true simultaneously. Hence for the entire statement to be true, the part must be true. If this is true, then it says that is true, and so is . Which certainly implies that is true.