In addition to the five connectives of propositional logic that we discussed in class, there are other connectives that are occasionally used. One common connective is known as "exclusive or" and is denoted by ⊕. The expression P ⊕ Q is true if and only if exactly one of P or Q is true.