A disjunction is an "or statement." 'Either P or Q' is a disjunction; 'P' and 'Q' are each called the statement's disjuncts. 'John skis or Sally swims' is another disjunction; 'John skis' is one disjunct, and 'Sally swims' is another. More generally a disjunction is a logical formula that can have one or more literals seperated only by ORs. A single literal is often considered to be a degenerate disjunction.
For example, all the following are disjunctions:
A ∨ B ¬A ∨ B A ∨ ¬B ∨ ¬C &or D &or ¬E ¬B
See Also: