Selleks on vaja kontuuride moodustamisel mitte lubada nende kattumist (kattumine tähendaks seda, et eksisteerib sisendvektor, mis muudab "1"-ks mõlemale kontuurile vastavad konjunktsioonid). Mittekattuvad kontuurid esitavad Read-Mülleri polünoomiks sobivaid konjunktsioone, 28 millistes aga on osa argumente inverteeritud. Korrektse Read-Mülleri polünoomi saamiseks peame inversioonid abivalemiga asendama ning sulud lõplikult avama. Näide x1 x 2 x2 x 3 = x1 x 2 x2 x 3 = x1 ( x2 1) x2 ( x3 1) = x1x2 x2 x3 x1 x2 · B9 ={ f6 , f7 , f15 } Teisendus jääb eelneva põhjal iseseisvaks tööks. Ülesanded · Esitada funktsioon f(x1 ,x2 ,x3, x4 ) = (0,1,4,5,6,12,14)1 baassüsteemides B1 kuni B9 . · Kontrollida, kas järgmised loogikafunktsiooide süsteemid on täielikud. Kas nad kujutavad baassüsteeme
meetoditega tuletada Read-Mülleri polünoom näiteks Karnaugh' kaardilt. Selleks on vaja kontuuride moodustamisel mitte lubada nende kattumist (kattumine tähendaks seda, et eksisteerib sisendvektor, mis muudab "1"-ks mõlemale kontuurile vastavad konjunktsioonid). Mittekattuvad kontuurid esitavad Read-Mülleri polünoomiks sobivaid konjunktsioone, millistes aga on osa argumente inverteeritud. Korrektse Read-Mülleri polünoomi saamiseks peame inversioonid abivalemiga asendama ning sulud lõplikult avama. Näide x1 x 2 x2 x 3 x1 x 2 x2 x 3 x1 x2 1 x2 x3 1 x1 x2 x2 x3 x1 x2 B9 ={ f6 , f7 , f15 } Teisendus jääb eelneva põhjal iseseisvaks tööks. Ülesanded Esitada funktsioon f(x1 ,x2 ,x3, x4 ) = (0,1,4,5,6,12,14)1 baassüsteemides B1 kuni B9 . Kontrollida, kas järgmised loogikafunktsiooide süsteemid on täielikud. Kas nad kujutavad baassüsteeme
n 2 + an n − 1 1 − a2 Lahendus. Toome esimese murru nimetajas ühise teguri sulgude ette. Sulgudes viime ühisele nimetajale. Esimese murru lugeja ja viimase muru nimetaja taandame. Viimase murru lugejas toome kahest esimesest ja kahest viimasest liikmest teguri sulgude ette nii, et mõlemasse sulgu jääks üks ja sama avaldis. Siis toome selle avaldise 1 − n 3 omakorda sulgude ette. Taandame. Lahutame avaldise n3 − 1 abivalemiga teguriteks. Taandame. 20 a2 −1 n n −1 a − an − n + n 3 4 ⋅ −1 ⋅ = n 2 + an n − 1 1 − a2 1 a 2 − 1 n/ − n/ + 1 a(1 − n3 ) + n(1 − n3 ) = ⋅ ⋅ = n( n + a ) n − 1 − a2 −1 ( )