Sunteți pe pagina 1din 1

Forme normale

Definiii: 1. numim termeni primi variabilele i negaiile lor (p, q, r, ..., ~p, ~q, ~r, ...) 2. numim conjuncie prim orice termen prim i orice conjuncie de termeni primi (ex. p, ~q, pq, p~q, ...) 3. numim disjuncie prim orice termen prim i orice disjuncie de termeni primi (ex. p, ~q, pvq, pv~q, ...) 4. numim form normal conjunctiv conjuncia oricrei mulimi de disjuncii prime 5. numim form normal disjunctiv disjuncia oricrei mulimi de conjuncii prime se admite i cazul n cnd avem conjuncii (respectiv disjuncii) cu un singur membru n anumite cazuri una i aceeai expresie poate fi tratat ca membru al unei disjuncii cu un singur membru, sau ca membru al unei conjunci cu un singur membru (restul fiind vizi) Decizia: 1. dac n fiecare membru al formei normale conjunctive este coninut o expresie de forma (A v ~A) atunci forma normal reprezint o funcie identic-adevrat (lege logic, tautologie) 2. dac n fiecare membru al unei forme normale disjunctive este coninut o expresie de forma (A ~A), atunci forma normal reprezint o funcie identic fals (irealizabil, contradicie) 3. orice expresie din clasa de expresii echivalente cu forma normal respectiv va avea aceeai valoare de adevr ca i forma normal 4. daca nu se ntmpl nici cazul (1) i nici cazul (2), atunci avem o funcie realizabil.

Forme normale perfecte


Definiii: Numim form normal perfect aceea form normal care satisface urmtoarele condiii: 1. fiecare membru al formei normale conine pe fiecare din literele care intr n componena expresiei (cu sau fr negaie) 2. nici un termen prim nu poate aprea mai mult de o singur dat intr-un membru 3. nici un membru nu poate aprea mai mult de o dat 4. nici o liter nu poate intra intr-un membru mpreun cu negaia ei Pentru a aduce o expresie la forma normal perfect procedm astfel (pornind de la o form normal neperfect): 1. pentru o analiz mai comod se ordoneaz literele alfabetic 2. dac dintr-un membru lipsete o liter atunci ea se adaug conform expresiilor: v (t ~t) pentru f.n.c. (t v ~t) pentru f.n.d. unde () este membrul respectiv, iar (t) este litera ce trebuie adugat dup care se opereaz distribuiile 3. dac un termen apare mai mult de o dat, el este redus conform cu regulile: A A ... A se nlocuiete cu A A v A v ... v A se nlocuiete cu A 4. dac un membru apare mai mult de o dat, atunci el este redus conform regulii de mai sus, unde (A) st pentru un membru, nu pentru un termen) 5. dac o liter apare mpreun cu negaia ei, atunci tot membrul este eliminat Decizia: 1. dac f.n.d.p. are 2n (n= nr. variabilelor) membrii atunci e lege logic 2. dac f.n.c.p. are 0 membrii atunci este lege logic 3. dac f.n.d.p. are 0 membrii atunci e contradicie 4. dac f.n.c.p. are 2n (n= nr. variabilelor) membrii atunci e contradicie 5. altfel expresia este realizabil