Hogyan hozzuk a képletet formájában CNF
Azt hiszem, csak nem értem, mi a CNF.
Tehát lássuk f Boole-függvény. Attól függ, hogy n x1, x2. xn. Változókat lehet 2 ^ n különböző permutációk. Bizonyos helyettesítések függvény visszatérési értéke 1-től a másik - 0. kívánunk valahogy kódolni Boole-formulával.
Két gyakori módja erre. Az első -, hogy leírja az összes permutációt, ami 1 - DNF. A második -, hogy leírja az összes permutáció, hogy adjon 0 - CNF. Szükségünk van egy második.
Nézzük CNF. Ez együttállása diszjunkcióban, mint például ez:
(Nem x1 vagy x2) és (x1, vagy sem X2 vagy X3).
Mi van írva zárójelben átírható egy kicsit világosabb:
(X1 = 0, vagy x2 = 1) és (x1 = 1 0 vagy x2 = vagy X3 = 1).
Most, akkor a logika, a matematikai =), és ismét átírja:
(Nem (x1 = 1, és x2 = 0)), és (nem (x1 = 0, és x2 = 1, és X3 = 0)).
Mit utóbbi képlet? Ez a funkció lehetővé teszi, hogy az egységet, ha a helyettesítés nem tartalmaz mintát (x1 = 1 és x 2 = 0), vagy (x1 = 0, és x2 = x3 = 1 és 0).
Összesen, az egyes helyettesítés, ami jellemző lehetővé 0, írj ilyen helyettesítés zapereschennye mintákat, és aztán csak írjuk, CNF, mint azt fentebb kifejtettük.
A kérdésre adott válasz
Jelentkezzen válaszolhat
- Budapest
- Teljes munkaidőben
- 60 000-100 000 rubelt.
Bejelentkezés
Feltenni egy kérdést, és kap egy szakértő választ.