Definition:Disjunction/Truth Table/Number
Jump to navigation
Jump to search
Definition
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
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 2.5$: Further Logical Constants