Definition:Disjunction/Truth Table/Matrix Form

Definition
The characteristic truth table of the logical disjunction operator $p \lor q$ can be presented in matrix form as follows:
 * $\begin{array}{c|cc}

\lor & \T & \F \\ \hline \T & \T & \T \\ \F & \T & \F \\ \end{array}$