Reed-Mulleri baas on loogikatehete süsteem, kuhu kuuluvad tehted {&⊕1} ja ta on täielik. Baas on ta, kuna suvalise tema liikme väljajätmisel süsteemiks kaoks selle täielikkus. 𝑥̅=𝑥⊕1 𝑥1∨𝑥2=𝑥1̅ 𝑥2= ̅ (𝑥1⊕1)(𝑥2⊕1)⊕1????=𝑥1𝑥2⊕𝑥1⊕𝑥2 Reed-Mulleri polünoom Karnaugh’ kaardil 1-de piirkonnas võtta mittelõikuvad kontuurid JA-EI topeltinversioon DNK-le ja DeMorgan alumisele inversioonijoonele VÕI-EI topeltinversioon KNK-le ja DeMorgan alumisele inversioonijoonele {0→}: 𝑥̅=𝑥→0 𝑥1∨𝑥2=𝑥1̅→𝑥2=(𝑥1→0)→𝑥2 𝑥1𝑥2=(𝑥1→(𝑥2→0))→0 {¬ →} 𝑥1∨𝑥2=𝑥1̅→𝑥2 𝑥1𝑥2=𝑥1→𝑥2̅ {⊕ →} 𝑥̅=𝑥→(𝑥⊕𝑥) 𝑥1∨𝑥2=𝑥1→(𝑥1⊕𝑥1)→𝑥2 𝑥1𝑥2=(𝑥1→(𝑥2→(𝑥1⊕𝑥1)))→(𝑥1⊕𝑥1) DNK – suvalised elementaarkonjunktsioonide disjunktsioonid Saadakse funktsiooni 1-de piirkonnast
Baas on ta, kuna suvalise tema liikme väljajätmisel süsteemiks kaoks selle täielikkus. 𝑥̅ = 𝑥 ⊕ 1 𝑥1 ∨ 𝑥2 = ̅̅̅̅̅̅̅ 𝑥2 = (𝑥1 ⊕ 1)(𝑥2 ⊕ 1) ⊕ 1? ? ? ? = 𝑥1 𝑥2 ⊕ 𝑥1 ⊕ 𝑥2 𝑥1 ̅̅̅ ̅̅̅ Reed-Mulleri polünoom Karnaugh’ kaardil 1-de piirkonnas võtta mittelõikuvad kontuurid JA-EI topeltinversioon DNK-le ja DeMorgan alumisele inversioonijoonele VÕI-EI topeltinversioon KNK-le ja DeMorgan alumisele inversioonijoonele {0 →}: 𝑥1 → 𝑥2 = (𝑥1 → 0) → 𝑥2 𝑥1 𝑥2 = (𝑥1 → (𝑥2 → 0)) → 0 𝑥̅ = 𝑥 → 0 𝑥1 ∨ 𝑥2 = ̅̅̅ {¬ →} 𝑥1 ∨ 𝑥2 = ̅̅̅ 𝑥1 → 𝑥2 𝑥1 𝑥2 = ̅̅̅̅̅̅̅̅̅̅ 𝑥1 → ̅̅̅ 𝑥2
annaabi.ee 
