funktsiooni inverteerimine), monotoone(pole inversiooniga algterme), lineaarne(?). Baas on minimaalne täielik loogkafunktsioonide süsteem. Täielikkuse kriteerium – funktsioonide mittekuulumine klassidesse. Red-müller: konj, +, 1. Katta K-kaart nii, et kontuurid ei kattuks, siis v == +. Või-ei baas(Pierce’i baas), ei oma ülemineku seoseid. KNK topeltinversioon! Ja-ei baas(Shefferi baas). DNK topeltinversioon! Implikatiivne baas: {0 imp}. Või {- imp} Baas {+ imp}
mittelineaarne ja ⊕ on mittemonotoonne, 𝑓0-ga lisandub mittepööratav) 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)
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 = ̅̅̅̅̅̅̅ 𝑥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 → ̅̅̅
annaabi.ee 
