Disjunction is a logical operation which forms compound propositions which are false only if all statements (disjuncts) are false. If at least on statement is true the result of disjunction is true. For three statements A, B and C the following table shows how it works (1 means true, 0 means false):
[tex] \begin{array}{cccc} A & B & C & A\vee B\vee C \\ 1 & 1 & 1 & 1 \\ 1 & 1 & 0 & 1 \\ 1 & 0 & 1 & 1 \\ 1 & 0 & 0 & 1 \\ 0 & 1 & 1 & 1 \\ 0 & 1 & 0 & 1 \\ 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 \end{array} [/tex]
