Minimalizálása logikai funkciók Veitch térképek
Az eljárás minimalizálja a funkciót Veitch kártyák könnyű fogadásának eredményeket. Ezt alkalmazzák a lehető legkevesebb viszonylag egyszerű funkciók (az argumentumok száma öt). Veitch térkép van osztva meghatározott alakja igazság táblázat. Táblázat. 6. Veitch térképek két funkcióhoz, illetve (a), három (b), négy (a) az érvelés-zsaruk.
Minden sejt kártya megfelel egy sor érv értékeket. Ez az érv határozza értékadásra log.1 betétek betűk a kereszteződésekben a sorok és oszlopok, amelyek székhelye a cellában. Így a térkép funkcióit négy érv (. Táblázat 6c) sejtek az első sor megfelelnek a következő kombinációk értékek betétek érvek:
A kártyák száma egyenlő a sejtek számát az összes lehetséges értékeinek halmazai közül érvek (n - száma függvényargumentum). Minden térkép cellában van rögzítve a megfelelő érték a funkciója a cella értéke az érveket. Legyen a függvény megadott tábla istinnos látnia (táblázat. 7). Táblázat igazságok-ség ezt a funkciót formájában kártyák Veitch táblázatban bemutatott. 8.
Veitch kártya meghatározza az értékek minden lehetőségét CIÓ készlet érv értékek és az igazság asztalra. Térképek Veitch kompakt, de a fő előnye a következő. Ha bármely átmenet az egyik celláról a szomszédos oszlopra vagy mentén sorban értéke változik csak egyetlen érv funkciót. Következésképpen, ha egy pár szomszédos sejtek tartalmazott 1, akkor, mint a megfelelő tagjai kanonikus formák végezhetjük ragasztással műveletet-CIÓ. Így a keresést segíti ragasztott tagjai.
9. táblázat 8Tablitsa
Megfogalmazzuk a szabályokat megszerzésének MDNF funkciókat Veitch térképeket. Minden sejtet tartalmazó 1 együtt egy zárt területen. Így minden egyes régióban kell lennie egy téglalapot törmelék Num-2 k sejtek. ahol k - 0, 1, 2. ezért, a megengedhető sejtek száma a régióban 1, 2, 4, 8. A terület átfedhetik egymást, és ugyanazt a sejt lehet venni a különböző területeken. Aztán egy felvétel kifejezést MDNF funkciót. Minden egyes területen képviselt MDNF tagja, ahol a betűk száma k kevesebb, mint a teljes N számának érvek (vagyis egyenlő). Minden tag MDNF amely kizárólag a rendőrök, az érv, hogy a megfelelő terület-sejt azonos új értéket (inverzió nélküli vagy inverziót).
Így, amikor az belép a sejteket lezárt területeket kell törekedni, hogy a régiók számát minimálisra (a minimális létszámot lesz MDNF funkció), és az egyes régiók tartalmazza a lehető legtöbb sejtek (ebben az esetben lenne a minimális számú betű a tagok MDNF funkció) .
Tekintsük minimalizálva a Veitch kártya funkciók három érvet táblázat mutatja. 9. Minden tartalmazó sejtek 1 ohva Pipeline két területen. Az egyes régiók 2 1 sejtek számára n-k = 3-l = 2, és ezek a területek kerülnek bemutatásra MDNF tagok tartalmazó két betű. Az első régió megfelel egy tagja (az argumentum nincs jelen, mivel az egyik cella a területen van egy értéket anélkül, inverzió a többi - inverzióval); a második régió megfelel egy tagja. Ezért a függvény-CIÓ MDNF
Tekintsük a példát minimalizálása funkciójának négy érv táblázatban megadott. 10. Az első és a negyedik területek két sejtek azok n k - 1 = 3 4. Ezek a területek kerülnek bemutatásra MDNF szempontjából, amely három betű. A második és a harmadik régió tartalmazza a négy-patkány sejtekben kifejezett MDNF tagok tartalmazó két betű (n - k = 4 2 = 2). Minimális DNF funkció
11. táblázat 10Tablitsa
Az építőiparban a lezárt területeken lehet összecsukható kártyát a henger az unió a szemközti oldalon. Emiatt extrém sorcellában vagy egy oszlop a táblázat minősülnek szomszédok és kombinálni lehet egy közös terület. Az ábra ezt a módszert, hogy elvégzi a funkciókat a táblázatban bemutatott példa. 11. Minimális funkció DNF
Tekintettel a elfogadhatóságát ilyen összecsukható kártya mentén távú vízszintes és függőleges tengelyek, például sejtek, található, a négy sarkából a térkép funkció négy változók, amelyek szomszédosak, és lehet kombinálni egy területen. Megmutatjuk ebben a példában, mini-Mize funkció adott táblázatban. 12. Minimális funkció DNF
13. táblázat 12Tablitsa
A MKNF funkció területeken közrefogja zárt cellák vannak, hogy működni értéke nulla, és a felvétel tagjai egy logikai kifejezés veszünk inverzió érvek, amelyek a kereszteződésekben területen. Például, a függvény az a táblázatban látható. 13 MKNF
Eddig úgy a logikai függvény az argumentumok számát-nek legfeljebb négy. Képviselete a funkció és minimalizálják azt Veitch kártyák egyre összetettebb, ha az argumentumok száma nagyobb, mint négy. Táblázat. 14 ábrázolja kártyákkal Veitch funkciók öt érveket.
Az igazság táblázat itt két kártya, app-Dye, amelynek jelentése egy térképet a négy változó. Egyikük megfelel x5 = 1, és a többi - X5 = 0. Ezeket a kártyákat lehet mentálisan elhelyezve egymás felett (3. ábra). Ebben a cellában lefedettségi terület lehet háromdimenziós, azaz egy régió span-vatsya sejtjei két kártya.
A funkció táblázatban látható. 23 MDNF
Ahhoz, hogy minél kevesebb az függvényargumentumok, öt nagy Veitch térképek kényelmetlen. Minimalizálása olyan funkciókat is el lehet végezni Quine.
Oldal keletkezett: 0,005 sec.