Posted on

Logical Disjunction

$p \lor q$

If p and q are statement variables, the disjunction of p and q is “p or q.” If either p is true, or q is true, or both p and q are true, “p or q” is true; “p or q” is false only when both p and q are false.

$\displaystyle p$

$\displaystyle q$

$\displaystyle p \lor q$

T T T
T F T
F T T
F F F