Go backward to De Morgan's Laws Go up to Top Go forward to Exclusive Disjunction

Notation

Because of associativity, setting of parentheses in nestings of disjunctive formulas do not matter.

• A \/ B \/ C
  • A \/ (B \/ C)
  • (A \/ B) \/ C
• A₀ \/ A₁ \/ ... \/ A_n-1
• or(A0, A1, ..., An-1)