Alternatywa
Zdanie p ∨ q nazywamy alternatyw± lub sum± logiczn± zdań p i q, a zdania p, q nazywamy składnikami tej alternatywy. Zdanie p lub q uznajemy za prawdziwe, gdy co najmniej jedno ze zdań p, q jest prawdziwe. Alternatywa p ∨ q jest więc prawdziwa, gdy co najmniej jedno ze zdań p, q jest prawdziwe.
| p | q | p ∨ q |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |