# 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 $\lor$ or sometimes $+$ when taken in algebraic context. Hence, disjunction of $a$ and $b$ would be written

 $a\lor b$

or

 $a+b$

The truth table for disjunction is

$a$ $b$ $a\lor b$
F F F
F T T
T F T
T T T
Title disjunction Disjunction 2013-03-22 11:54:40 2013-03-22 11:54:40 akrowne (2) akrowne (2) 14 akrowne (2) Definition msc 03B05 logical or disjunctive truth function Conjunction PropositionalLogic