Csökkentés PDNF
Csökkentés SKNF. A redukciós algoritmus.
- ólom képlet segítségével a transzformációk egyenértékű a CNF.
- távolítsa tagjai összetalálkozások tartalmazó változó együtt a negáltja (Ha ők);
- az azonos tagjainak együtt (ha lesz), hogy eltávolítsuk az összes, de az egyik;
- egyenlő tagjai minden diszjunkció (ha lesz) eltávolítja az összes, de az egyik;
- ha szétválasztás nem tartalmaz változó az xi változók számának szerepelt az eredeti formula, add, hogy ez a szétválás tagja, és alkalmazza a jogot elosztó diszjunkciót tekintetében a kötőszó;
- ha által kapott összefüggésben ugyanaz lesz tagjai, a vényköteles n. 3.
A kapott készítmény összetétele a képlettel SKNF.
Ólom a következő képlet SKNF ekvivalens transzformációk:
2. módszer - táblázat.
Készítsenek igazság táblázat ezt a funkciót.
Készítünk egy táblázatot az értékek általános képletű. Azt fontolgatja csak azokat a sorokat, amelyekben az érték a képlet egy. Minden sor megfelel egy összefüggésben összes érv (ismétlések nélkül). Ezen túlmenően, az érvelés 0, belép azt egy tagadás, a értéke 1 - anélkül, hogy a tagadás. Végül alkotunk diszjunkcióját összes kötőszavak kapunk.
Építsd PDNF a propozicionális logika képlet adatokat.
Épület egy igazság táblázatot (13. táblázat). A képlet F: