Disjunktion – definition: inkl. OR, XOR och betydelse i logik & biologi
Lär dig vad disjunktion innebär — inkl. OR och XOR i logik samt betydelsen inom biologi. Klara definitioner, exempel och skillnader mellan inkluderande och exklusiv disjunktion.
Disjunktion kan syfta på flera saker.
Logik
I logik används termen oftast för att beskriva ett av följande sätt att kombinera propositioner.
- Inkluderande disjunktion (även kallad logiskt eller): minst ett av argumenten är sant. Symboliskt skrivs detta ofta A ∨ B. Sanningsvärdet följer tabellen:
- A = T, B = T → A ∨ B = T
- A = T, B = F → A ∨ B = T
- A = F, B = T → A ∨ B = T
- A = F, B = F → A ∨ B = F
Egenskaper: kommutativ (A ∨ B = B ∨ A), associativ ((A ∨ B) ∨ C = A ∨ (B ∨ C)), idempotent (A ∨ A = A). De Morgans lagar ger ¬(A ∨ B) ≡ (¬A) ∧ (¬B).
Exempel i vardagsspråk: "Det regnar eller snöar" kan tolkas som att minst en av vädersituationerna gäller, och båda kan gälla samtidigt.
OR-porten är den digitala logiska byggstenen som implementerar inkluderande disjunktion i kretsar. I elektronik används den för att slå ihop signaler så att utgången blir hög (1) om minst en ingång är hög.
- Exklusiv disjunktion (även kallad XOR): exakt ett av argumenten är sant. Symboliskt skrivs ofta A ⊕ B. Sanningsvärdet är:
- A = T, B = T → A ⊕ B = F
- A = T, B = F → A ⊕ B = T
- A = F, B = T → A ⊕ B = T
- A = F, B = F → A ⊕ B = F
Egenskaper: kommutativ och associativ (A ⊕ B ⊕ C är väl definierat), och kan uttryckas som A ⊕ B ≡ (A ∨ B) ∧ ¬(A ∧ B). För fler än två operanders XOR blir uttrycket sant om ett udda antal operandvärden är sanna.
Användningsexempel: XOR används i digital logik för beräkningar som paritetskontroll (kontroll av udda/jämnt antal ettor) och i kryptografi som enkel bitvis kombination.
Biologi
Inom biologin förekommer ordet disjunktion i flera sammanhang:
- Kromosomdisjunktion — separationen av kromosomer eller systerkromatider under celldelning. Under mitos och meios ser man att kromosomer dras isär mot motsatta poler i cellen; detta kallas disjunktion. Felaktig separation kallas nondisjunktion och kan leda till aneuploidi (obalans i kromosomantal), vilket är orsaken till tillstånd som Downs syndrom (trisomi 21).
- Disjunkt utbredning — när en art eller population har en uppdelad (diskontinuerlig) utbredning med geografiskt separerade områden. Detta kallas ibland disjunkt distribution och är viktig inom biogeografi och bevarandebiologi för att förstå arters evolutionära historia och spridningsbarriärer.
- Övriga användningar — i bredare biologiska eller ekologiska sammanhang kan "disjunktion" beskriva separation eller åtskiljande processer mellan strukturer, populationer eller funktioner.
Sammanfattningsvis är disjunktion ett begrepp som i logik beskriver två nära besläktade operatorer (inkluderande och exklusiv OR) med tydliga sanningsvillkor och kretsimplementeringar, medan det i biologin oftast betecknar någon form av separation — från kromosomernas uppdelning vid celldelning till splittrade utbredningsområden för arter.
Sök