Disjunction
Jump to navigation
Jump to search
Disjunction
Disjunction is the logical operation corresponding to "OR". It returns true if at least one of the propositions is true.
Symbols
- p ∨ q (standard notation)
- p | q (alternative)
- p OR q (in programming)
Definition
The disjunction of p and q is true if either p, or q, or both are true.
Truth Table
| p | q | p ∨ q |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
Examples
- If p = "I will travel" and q = "I will study",
then p ∨ q = "I will travel or I will study".
- In Python:
p or q - In Java:
p || q