{𝑓1 𝑓12} ={& ¬} Boole’i konjunktiivne baas {𝑓7 𝑓12} ={∨ ¬} Boole’i disjunktiivne baas {𝑓2 𝑓15} ={→̅ 1} {𝑓0 𝑓1 𝑓9} ={0 & ↔} {𝑓0 𝑓7 𝑓9} ={0∨ ↔} {𝑓6 𝑓7 𝑓9} ={⊕ ∨↔} {𝑓6 𝑓7 𝑓15} ={⊕ ∨1} {𝑓1 𝑓6 𝑓9} ={&⊕ ↔} {𝑓1 𝑓6 𝑓15} ={&⊕1} Žegalkini e. Reed-Mulleri baas Loogikafunktsioonide süsteem on nõrgalt täielik, kui ta sisaldab ühte mittemonotoonset ja ühte mittelineaarset F-ni ja konstantfunktsiooni 𝑓0 või 𝑓15 lisamisel osutub täielikuks (nt süsteem {& ⊕} on nõrgalt täielik, sest & on 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
{𝑓2 𝑓15 } ̅ 1} = {→ {𝑓0 𝑓1 𝑓9 } = {0 & ↔} {𝑓0 𝑓7 𝑓9 } = {0 ∨ ↔} {𝑓6 𝑓7 𝑓9 } = {⊕ ∨↔} {𝑓6 𝑓7 𝑓15 } = {⊕ ∨ 1} {𝑓1 𝑓6 𝑓9 } = {& ⊕ ↔} {𝑓1 𝑓6 𝑓15 } = {& ⊕ 1} Žegalkini e. Reed-Mulleri baas Loogikafunktsioonide süsteem on nõrgalt täielik, kui ta sisaldab ühte mittemonotoonset ja ühte mittelineaarset F-ni ja konstantfunktsiooni 𝑓0 või 𝑓15 lisamisel osutub täielikuks (nt süsteem {& ⊕} on nõrgalt täielik, sest & on 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 = ̅̅̅̅̅̅̅ 𝑥2 = (𝑥1 ⊕ 1)(𝑥2 ⊕ 1) ⊕ 1? ? ?
Loogikafunktsioonide süsteem on täielik, kui ta sisaldab: a. Vähemalt ühte 0-lli mittesäilitavat funktsiooni. b. Vähemalt ühte 1-te mittesäilitavat funktsiooni. c. Vähemalt ühte mittepööratavat funktsiooni. d. Vähemalt ühte mittemonotoonset funktsiooni. e. Vähemalt ühte mittelineaarset funktsiooni. 18. Milline loogikafunktsioonide süsteem on nõrgalt täielik? Loogikafunktsiooni süsteem on nõrgalt täielik, kui pärast konstantfunktsiooni lisamist süsteemile osutub selliselt laiendatud süsteem täielikuks. 19. Milline on nõrgalt täieliku süsteemi tunnus? Süsteem on nõrgalt täielik, kui ta sisaldab ühte mittemonotoonset ja ühte mittelineaarset funktsiooni. 20. Milline loogikafunktsioonide süsteem on baas? Baas on minimaalne loogikafunktsioonide süsteem. 21. Mitu baasi saab koostada 2-muutuja loogikafunktsioonidest ? 2-muutuja loogikafunktsioonidest saab moodustada 17 baasi. 22