Patrick Heusmann
Truth Table
The truth table is an issue in math that I had never heard of before today. So what is a truth Table? The truth table is a mathematical table used in logic. The tables are usually connected to Boolean algebra, boolean functions, and propositional calculus. They use the tables to help find the functional values of logical expressions on each of their functional arguments. Truth tables can also be used to tell whether an expression is logically valid. Truth tables can only have to possible logical answer those being true or false sometimes written as t or F and also 0 or 1. Besides true and false there are several other symbols I that are important to know before getting any further in truth tables. Those being:
= AND (logical conjunction)
= OR (logical disjunction)
= XOR (exclusive or)
= XNOR (exclusive nor)
= conditional “if-then”
= conditional “(then)-if”
biconditional or “if-and-only-if” is logically equivalent to : XNOR (exclusive nor).
These symbols are important to understand and recognize while using one of the many different types of truth tables. I’m going to talk eight different types of truth tables. The first being:
- 1. Logical negation– is an operation on one logical value that produces a value of true if its operand is false and a value of false if its operand is true.
- 2. Logical conjunction -is an operation on two logical values, it has a value of false if both operand are true.
- 3. Logical disjunction– is an operation on two logical values it has a false value if both operand are false.
- 4. Logical implication– deals with to logical values and is false if the first operand is true and the second one is false.
- 5. Logical equality (also known as biconditional) – is an operation on two logical values has true value if both of the operand are either true or both are false.
- 6. Exclusive disjunction -is an operation on two logical values, typically the values of two propositions, that produces a value of true if and only if one but not both of its operands is true.
- 7. The logical NAND– is an operation on two logical values is false if both open operands are true or true if any of the operand is false.
- 8. The logical NOR– is an operation on two logical values does the opposite thing as the logical NAND, meaning it is true if both operand are false or false if any operand are true.
Truth tables are used a lot in finding if a expression is logically true or false. I feel that to truly understand a truth table you need an example so I am going to put the most simple one a Logical negation truth table.
|
Logical Negation |
|
|
p |
|
|
T |
F |
|
F |
T |
Truth tables are an will always be an important mathematical tool used to help solve and find the logical answer to expressions.
- Enderton, H. (2001). A Mathematical Introduction to Logic, second edition, Harcourt Academic Press. ISBN 0-12-238452-0
- Quine, W.V. (1982), Methods of Logic, 4th edition, Harvard University Press, Cambridge, MA.