Definition:Conjunction/Truth Table

From ProofWiki
Jump to navigation Jump to search

Definition

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

$\begin{array}{|cc||c|} \hline

p & q & p \land q \\ \hline \F & \F & \F \\ \F & \T & \F \\ \T & \F & \F \\ \T & \T & \T \\ \hline \end{array}$


Matrix Form

$\begin{array}{c|cc}

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


Truth Table Number

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

Ascending order:

$0001$ or $\F \F \F \T$

Descending order:

$1000$ or $\T \F \F \F$


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Conjunction/Truth_Table&oldid=646895"