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, then an implication cannot be ruled out, regardless of q, so it is left as true.
Back to math page.