Truth Tables
A truth table is a very quick and easy mechanism to check to make sure your logical expressions align with your intent. They can also be used to determine if two logical expressions are directly equivalent.
Fill in the truth tables below, and determine which expressions (if any) are equivalent.
| p | q | p and q | p or q | not p | not q | p or p |
|---|---|---|---|---|---|---|
| T | T | |||||
| T | F | |||||
| F | T | |||||
| F | F | |||||
| p | q | not (p and q) | (not p) or (not q) | p or (not q) | (p or q) and not p | (p or q) and not (p and q) |
| T | T | |||||
| T | F | |||||
| F | T | |||||
| F | F | |||||
For the following expressions, create a truth table to determine the final truth value. Create columns for all intermediary values.
- (p and q) or (not p)
- not (p and (not q))
- (not p) or q