Disjunkce je termín, který se použije v různých oborech pro popis oddělení nebo volby mezi možnostmi. V obecném smyslu znamená „nebo“ — vyjádření jednoho či více alternativ. V odborných kontextech nese konkrétní významy: v logice jde o logický operátor spojující výroky, v biologii označuje fyziologický proces oddělení chromozomů při buněčném dělení.

Disjunkce v logice

V logické teorii rozlišujeme dvě hlavní formy disjunkce. Inkluzivní disjunkce (často zkracovaná jako OR) je pravdivá, pokud je pravdivý alespoň jeden z operandů; exkluzivní disjunkce (XOR) je pravdivá pouze tehdy, když je pravdivý právě jeden operand. Více informací o této oblasti najdete v logika.

  • Inkluzivní disjunkce (A ∨ B): pravdivá, pokud A nebo B nebo oboje.
  • Exkluzivní disjunkce (A ⊕ B): pravdivá jen tehdy, když právě jedno z nich je pravdivé.

Typické značení a příklady z praxe: symbol ∨ se používá pro OR, symbol ⊕ nebo ^ pro XOR; v programování se setkáte s operátory jako |, || nebo ^. V digitální elektronice jsou ekvivalenty těchto operací hradlo OR a XOR-hradlo.

Pravdivostní tabulky

  • Inkluzivní OR (A ∨ B):
    • A=false, B=false → false
    • A=false, B=true → true
    • A=true, B=false → true
    • A=true, B=true → true
  • Exkluzivní XOR (A ⊕ B):
    • A=false, B=false → false
    • A=false, B=true → true
    • A=true, B=false → true
    • A=true, B=true → false

Disjunkce v biologii

V biologickém smyslu označuje disjunkce proces, při kterém se oddělují chromozomy nebo chromatidy během buněčného dělení. Správné rozdělení homologních chromozomů v meióze a sesterských chromatid v mitóze je nezbytné pro udržení správného počtu chromozomů v dceřiných buňkách. Porucha tohoto procesu se nazývá nondisjunkce a může vést k aneuploidii — stavu s nadbytkem nebo nedostatkem chromozomů.

Nondisjunkce je příčinou některých genetických stavů; známým příkladem je trisomie způsobená přítomností tří kopií určitého chromozomu. Biologické studie zkoumají mechanismy, které zajišťují přesnou disjunkci, a faktory, které ji narušují.

Význam a rozlišení

Disjunkce jako pojem spojuje logické a biologické významy: v obou případech jde o oddělení nebo výběr. V logice je důležité rozlišit, zda "nebo" je míněno inkluzivně či exkluzivně; v biologii je kritické, aby disjunkce proběhla správně, protože její chyby mají často závažné důsledky. Pro další čtení o logických operacích a příkladech implementace viz argument a jiné zdroje na téma logických hradel.

Slovo samotné má historické kořeny v latině a jeho užití se vyvinulo podle potřeby popsat buď logickou volbu, nebo fyzikální oddělení částí. Pro technické i biologické aplikace platí, že jasné rozlišení významu zajišťuje srozumitelnost v komunikaci a přesnost při analýze.