egyenértékű transzformációk
Elvégezve problémák 2, és 3 ekvivalens transzformációk azt mutatják, hogy a végző megfelelő matematikai (logikai érték) számítások is lényegesen egyszerűsödik logikai egység hajtja végre a funkciót.
2.3. Diszjunktív és konjunktív normálforma
Minden elemi diszjunkció kötőszavak úgynevezett diszjunktív normál forma (DNF).
Minden elemi diszjunkció összefüggésben az úgynevezett konjunktív normál forma (CNF).
Bármilyen logikai függvény nem azonosan egyenlő egység is képviselteti magát DNF.
Bármilyen logikai függvény nem azonosan nulla, lehet megjeleníteni CNF.
működtető eljárás DNP:
1. Minden tagadás „pull”, hogy a változók az alábbi (6) és (8).
2. Kiterjed a zárójelben útján (1) a (3), (4).
3. Távolítsuk el a felesleges összefüggésben, és a kiújulás a kötőszavak segítségével (5), (9) és (10).
4. Távolítsuk el állandók keresztül (7).
Feladat 4. Hozz az DNP képlet
felfedi a zárójelben (3)
szabálya de Morgan (8b)
szabályokat (9, 7b, 8a)
szabályok (8a és 8b 6)
vonatkozó általános kötés (13a),
bevezetésével a jelölést. megkapjuk
nyilvánosságra zárójelben szabály (9, 5a)
vegye ki a zárójelben
Ragasztás általában generalizált (13b)
Az eljárás, hogy a DNP CNF:
Hagyja DNF F formában van
1. Alkalmazza a kettős tagadás szabály F
és olyan DNF. ahol - az elemi kötőszavak. majd:
2. A szabály de Morgan, hogy megszabaduljon a második tagadás és elutasítás elemi kötőszavak alakítható elemi diszjunkció. majd:
Probléma 5. Hozd a képletet CNF
Bemutatunk egy kettős negatív
szabálya de Morgan (8b)
szabálya de Morgan (8a)
nyilvánosságra a konzolok és a jogállamiság (5, 9)
nyilvánosságra a konzolok és a jogállamiság (5, 9)
Jellemzően ragasztással (12)
szabálya de Morgan (8b)
A folyamat a átmenet a feladat tábla Boole logikai funkció képlet.
Az eljárás továbblép PDNF:
a) az egyes változókat. amelyen a funkció egyenlő 1, írásos ki a összefüggésben az összes változók;
b) ha azokat a változókat, hogy ezen a készlet 0, tedd a tagadás;
c) az összes ilyen kötőszavak csatlakozni jelei diszjunkció.
Az így kapott általános képletű nevezzük tökéletes diszjunktív normál forma (PDNF) logikai függvény.
Az eljárás továbblép SKNF:
a) az egyes változókat. amelyen a funkció egyenlő 0, vannak írva diszjunkcióját összes változót;
b) ha azokat a változókat, hogy ezen a set 1, tedd a tagadás;
c) az összes ilyen diszjunkció csatlakozik karakter összefüggésben.
Az így kapott általános képletű nevezzük tökéletes konjunktív normál forma (SKNF) logikai függvény.
Probléma 6. A logikai függvénye három változó formájában jelen lévő egy Boole képletű PDNF és SKNF:
Construct igazság táblázat egymás lépések szerint építésének képlet