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 |