Exclusive OR

This lecture shows how to represent the exclusive OR using preexisting logical operators. Namely, it is (P v Q) ^ ~(P ^ Q). We use a truth table to verify it.

Back to Logic 101