Konnktivnaya normál forma és a tökéletes konjunktív normál forma

4. meghatározása elemi dizyunktsieyn változók nevezik diszjunkcióját változók vagy azok negáltjai.

5. meghatározása konjunktív normál forma (CNF) általános képletű A egyenértékű azzal képletű képviselő együttállása elemi diszjunkcióban.

Definíció 6. Tökéletes konjunktív normál A képletű (SKNF A) nevezzük CNF A. kielégíti a következő feltételeket:

1. minden elemi diszjunkció szerepel a CNF A. tartalmazza az összes változó;

2. Az összes elemi diszjunkció szerepel a CNF A. eltérő;

3. egyes elemi diszjunkció A. részében CNF tartalmaz egy időben változó;

4. egyik elemi diszjunkció, tagja a CNF A. nem tartalmazhat változókat th és annak tagadásával.

SKNF lehet előállítani két módja van:

a) útján igazság táblázatot (a dualitás törvényének) (lásd 5.1 pont) .;

b) útján egyenértékű transzformációk.

Származtatása szabály SKNF A képletű ekvivalens transzformációk.

1. Annak érdekében, hogy bármely képletű CNF A.

2. CNF A egyenértékű átalakulások szerezni SKNF A. elérése következetesen végre négy tulajdonsággal SKNF A.

1) Ha egy elemi diszjunkció ügyletkötési CNF A. nem tartalmaz változó. majd cserélje be.

2) Ha egyes elemi diszjunkció változó kétszer fordul elő, az extra változót kell dobni, mert.

3) Ha a CNF Egy tartalmaz két azonos elemi diszjunkcióban, majd az egyik lehet dobni ettől.

4) Ha az elemi diszjunkció jön gőz. akkor lehet dobni ettől. igaz állítás az összefüggésben lehet dobni révén (az egyenértékűség).

1. példa Ahhoz, hogy megtalálja a képlet PDNF SKNF, és minden két módon.