Disjunction is a term used in several disciplines to indicate a choice, separation, or alternative. In formal logic and mathematics it commonly names the binary operation often read as "or". In biology, particularly cell biology and genetics, disjunction refers to the normal separation of paired chromosomes or chromatids during cell division; failure of that process is called nondisjunction and can produce aneuploidy.

Logical types, notation, and basic features

In propositional logic the principal forms are:

  • Inclusive disjunction (logical OR, usually written A ∨ B): true when at least one operand is true; its identity element is false and it is commutative and associative.
  • Exclusive disjunction (XOR, often written A ⊕ B): true when exactly one operand is true; it behaves like addition modulo 2 and is also associative and commutative, but A ⊕ A is false.
  • Physical implementations such as the OR gate realize inclusive disjunction in digital circuits; XOR gates implement exclusive disjunction for parity and arithmetic logic.

Logical disjunction relates closely to set union: A ∨ B corresponds to membership in A ∪ B. In probability theory the probability of a disjunction satisfies P(A ∪ B) = P(A) + P(B) − P(A ∩ B). De Morgan's laws connect disjunction and conjunction: not(A or B) equals (not A) and (not B).

History and formalization

The idea of an "or" connective goes back to classical logic and syllogistic reasoning. Modern symbolic treatment emerged with Boolean algebra in the 19th century, which treated OR as a basic algebraic operation. In the 20th century the same algebraic notions were applied to electrical circuits; Claude Shannon and others showed how Boolean operators map to switches and gates, enabling digital computation.

Biological disjunction and clinical relevance

In cell division disjunction means the orderly separation of homologous chromosomes in meiosis or of sister chromatids in mitosis. Correct disjunction ensures each daughter cell acquires the proper chromosome complement. Nondisjunction events, when separation fails, can produce cells with missing or extra chromosomes; notable examples include trisomy 21 (Down syndrome) and sex chromosome aneuploidies.

Usage, examples, and important distinctions

In natural language the word "or" can be ambiguous between inclusive and exclusive readings; context and pragmatic cues usually resolve which is intended. In computing, inclusive OR is used for conditional checks and control flow, while XOR is essential in error detection, parity checks, and certain cryptographic constructions. For introductions to logical connectives and related terminology see general resources on logic and on the notion of an argument.

Key distinctions to remember: inclusive OR admits both operands true at once; exclusive OR forbids both being true simultaneously. Both forms have algebraic laws that make them useful in proofs and circuit design, and the term "disjunction" outside logic often carries the more literal sense of separation, as in chromosomal disjunction in biology.