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 $FTTT$

Descending order:

$1110$ or $TTTF$


Sources