This is an old revision of the document!
Truth tables: first columns : True/False values of the variables, such as p, q, or p' or ~p for inverse values. Next columns are logic combinations of the variables
| p | q | p ⋂ q | p ⋃ q | p ⇒ q |
| T | T | T | T | T |
| T | F | F | T | F |
| F | T | F | T | T |
| F | F | F | F | T |
p ⇒ q means condition p implies condition q. If p is true, then an implication can be drawn or not, depending on q. If p is false, and implication cannot be ruled out, regardless of q, so it is left as true.
Back to math page.