Definition:Exclusive Or/Truth Table/Matrix Form

From ProofWiki
Jump to navigation Jump to search

Definition

The characteristic truth table of the exclusive or operator $p \oplus q$ can be presented in matrix form as follows:

$\begin{array}{c|cc} \oplus & \T & \F \\ \hline \T & \F & \T \\ \F & \T & \F \\ \end{array}$