Disjunkce

Z Wikipedie, otevřené encyklopedie

Logická disjunkce (používá se pro ní symbol OR nebo \vee) 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 \vee 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.

[editovat] Podívejte se také na