disjunction

A disjunction is true if either of its parameters (called disjuncts) are true. Disjunction does not correspond to “or” in English (see exclusive or.) Disjunction uses the symbol $\vee$ or sometimes $+$ when taken in algebraic context. Hence, disjunction of $a$ and $b$ would be written

$$a\vee b$$

or

$$a+b$$

The truth table for disjunction is