Definition:Exclusive Or/Boolean Interpretation

Definition
Let $\mathbf A$ and $\mathbf B$ be propositional formulas.

Let $\mathbf A \oplus \mathbf B$ denote the exclusive or operator.

The boolean interpretations for $\mathbf A \oplus \mathbf B$ under the model $\mathcal M$ are:


 * $\left({\mathbf A \oplus \mathbf B}\right)_\mathcal M = \begin{cases}

F & : \mathbf A_\mathcal M = \mathbf B_\mathcal M \\ T & : \text {otherwise} \end{cases}$