Disjunction (or)
Any two propositions P and Q can be disjoined, producing the new, complex, proposition:
P or Q
The proposition P and Q is true if and only if either P or Q are true. It is false only if both P and Q are false.
Truth table
| P | Q | P or Q |
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |