A binary operator returning true iff at least one operand is true.
Logical disjunction (OR)
Related concepts
- Material implication
- Law of excluded middle
- Exclusive disjunction (XOR)
- Peirce arrow (NOR)
- De Morgan's laws
- Distributive laws (logic)
- Associative laws (logic)
- Commutative laws (logic)
- Idempotent laws (logic)
- Identity laws (logic)
- Domination laws (logic)
- Absorption laws (logic)
- Implication-as-disjunction equivalence
- Disjunctive syllogism
- Addition (∨-introduction)
- Resolution
- Boolean algebra
- Quantum superposition