disjunctionDisjunction2001-10-26 07:05:032005-02-28 09:42:09Definition\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}A disjunction is true if either of its parameters (called disjuncts) are true. Disjunction does \emph{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
\begin{center}
\begin{tabular}{ccc}
$a$ & $b$ & $a \lor b$ \\
\hline
F & F & F \\
F & T & T \\
T & F & T \\
T & T & T
\end{tabular}
\end{center}