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 or sometimes when taken in algebraic context. Hence, disjunction of and would be written
