Disjunkce
Z Wikipedie, otevřené encyklopedie
Logická disjunkce (používá se pro ní symbol OR nebo 
) je binární logická operace jejíž hodnota je pravda, pravě když alespoň jedna z obou vstupních hodnot je pravda.
[editovat] Definice
V logice a matematice je disjunkce označením pro "nebo". Například "Vojta plave nebo Lucka plave" je disjunkce.
Pro vstupy A a B vypadá pravdivostní tabulka disjunkce následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení).
| A | B | A B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
[editovat] Poznámka
V každodenním používání se „A nebo B“ používá i jako výraz pro „buď A, nebo B, ale ne A a B zároveň“ (např. „Dáte si kávu nebo čaj?“). V logice se tento případ označuje jako exklusivní disjunkce.
