Törvények és logikai formula
A formák logikai függvények
Ugyanez a logika funkció írt különböző módokon. Például, az F (
Ekvivalens kifejezések könnyen ellenőrizhető helyettesítve őket értékeinek
Elementary hívják összefüggésben, amely kizárólag a változók és negáltjai.
Úgynevezett elemi diszjunkció, amely egy logikai összegét változók és negáltjai.
Az elemi kötőszavak (diszjunkcióban) nem tartalmaznak azonos változók és azok negáltjai. Az ilyen diszjunkciót (összefüggésben) át kell váltani. Ezek azonban egyszerűsített és alakítjuk 0 vagy 1.
Konverziók helyességét lehet ellenőrizni az esetben a változók értékei. Elementary összefüggésben (diszjunkció) lehet rang megegyezik a változók száma összefüggésben (diszjunkció). Fogalmak elemi kötőszavak és diszjunkcióban lehetővé teszi az egyszerű ahhoz, hogy meghatározza a diszjunktív és konjunktív formák felvétel logikai funkciókat.
Diszjunktív normál forma (DNF) - olyan formában, amelyben a logikai funkció abban mutatkozik, mint egy diszjunkcióját összetalálkozások elemi például: F =
A funkciók a kifejezések (1) és (2) is fel van DNF.
Konjunktív normál forma (CNF) egy formája, amelyben a funkció abban mutatkozik, mint egy diszjunkcióját összefüggésben elemi például: F = (
A megszokott formában nem szünteti meg teljesen a kétértelműség felvétel logikai funkciókat. Például, a függvény (4) felírható kifejezések:
Ezért többek között a szokásos formáját különböztetjük meg, amelyeken a funkciót van írva egyedülálló módon. Ezek az úgynevezett tökéletes. Alkalmazza isovershennaya tökéletes diszjunktív konjunktív normálforma (PDNF és SKNF). Formák és PDNF SKNF két megkülönböztető jegye van:
Az összes elemi kötőszavak és diszjunkcióban azonos rangot;
elemi kötőszavak (diszjunkcióban) tartalmazza az összes változó vagy tagadás, amellyel a funkció függ.
Funkció (5) tartalmazza az összefüggésben az azonos értékű, de rögzített DNF, de nem PDNF. Ez annak a ténynek köszönhető, hogy az elemi kötőszavak nem tartalmazzák az összes változót vagy tagadás, ahonnan a függvény függ.
A függvény F (
Funkció PDNF és SKNF általában írt igazság táblák bizonyos szabályok szerint.
1 .Pravilo PDNF rögzítési funkció igazság táblázat:
Minden sorozat változó, amelyre a függvény egyetlen értéket, írja a kötőszó, megfordítjuk a változókat, amelyek megfelelnek az értéke nulla. Ezután csatlakoztassa a kötőszó diszjunkciót jelek.
Például, logikai függvény kap egy igazság táblázat ábrán látható. 9a. A szett 3, 5, 6, 7-től az írási összefüggésben rés:
A terek tesszük a jele diszjunkció és szerezzen egy funkciót PDNF, azaz F (
