If p and q are statements, then the compound statement (often called the exclusive or) is...

If p and q are statements, then the compound statement (often called the exclusive or) is defined to be true if and only if exactly one of p, q is true; that is, either p is true or q is true, but not both p and q are true.

(a) [BB] Construct a truth table for .

(b) Construct a truth table for .

(c) [BB] Show that is a tautology.

(d) Show that is logically equivalent to .