An operation on two logical propositions. If p and q are two propositions, (p | q) is a proposition that is true if p is true or if q is true (or both); otherwise, it is false. That is, (p | q) is true unless both p and q are false. The operation | is sometimes represented by the symbol ˅ and sometimes by the word or. See exclusive disjunction, XOR.