A table that list the truth or falsity of a given well-formed formula under all possible values of its propositional variables. For example, the formula has the truth table below:
| p | q | p AND q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
A table that list the truth or falsity of a given well-formed formula under all possible values of its propositional variables. For example, the formula has the truth table below:
| p | q | p AND q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |