Definition:Disjunction/Truth Table

From ProofWiki
Jump to navigation Jump to search

Definition

The characteristic truth table of the logical disjunction operator $p \lor q$ is as follows:

$\begin{array}{|cc||c|} \hline p & q & p \lor q \\ \hline \F & \F & \F \\ \F & \T & \T \\ \T & \F & \T \\ \T & \T & \T \\ \hline \end{array}$


Matrix Form

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


Truth Table Number

The truth table number of the conjunction operator $p \lor q$ is as follows:

Ascending order:

$0111$ or $\F \T \T \T$

Descending order:

$1110$ or $\T \T \T \F$


Sources