Documente Academic
Documente Profesional
Documente Cultură
Formele normale
Intr-o formă normală conjunctivă functorul principal, care leagă factorii aflaţi în
paranteze este ∧ .
Însemnă că funcţia logică este o conjuncţie a disjuncţiilor.
Exemplu
(a ∨ b) ∧ (b ∨ c ) ∧ (a ∨ c) . Uneori această formă poate fi scrisă ca (a ∨ b)(b ∨ c )(a ∨ c )
Să observăm că dacă într-o formă normală conjunctivă apare un termen (a ∨ a) , el
poate fi simplificat deoarece (a ∨ a) = 1 .
Dacă într-o formă normală conjunctivă ϕ , unul dintre factori este fals, atunci
expresia este o contradicţie.
Dacă într-o formă normală conjunctivă toţi factorii sunt adevăraţi, atunci ϕ este o
tautologie.
Intr-o formă normală disjunctivă functorul principal, care leagă factorii aflaţi în
paranteze este ∨ .
Exemplu
Algoritmul de aducere a unei funcţii logice la forma normală are următorii paşi:
a) Se elimină functorii, alţii decât ∧, ∨, −
b) Se coboară negaţia pe variabile
c) Se aplică legile de distributivitate şi asociativitate pentru a avea ca functor
principal, functorul dorit.
Exemple de expresii normalizate :
Exemplul 1.
Exemplul 2.
Exemplul 3.
( p → q ) → r ↔ p → q ∨ r ↔ ( p ∨ q) ∨ r ↔ ( p ∧ q ) ∨ r ↔ ( p ∧ q) ∨ r
Expresie adusă la forma normală disjunctivă.
Exemplul 4.
[( p → q) ∧ ( q → r )] → ( p → r ) ↔
[( p → q) ∧ ( q → r )] ∨ ( p → r ) ↔
[( p → q) ∨ ( q → r )] ∨ ( p ∨ r ) ↔
( p ∨ q) ∨ (q ∨ r ) ∨ ( p ∨ r ) ↔
( p ∧ q) ∨ (q ∧ r ) ∨ ( p ∨ r ) ↔
( p ∧ q) ∨ (q ∧ r ) ∨ ( p ∨ r )
Ultima expresie este în forma normală disjunctivă
Exemplul 5.
p → (q → p ) ↔ p ∨ (q ∨ p ) ↔ p ∧ ( q ∨ p ) ↔
p ∧ (q ∧ p) ↔ p ∧ q ∧ p
Forma normală conjunctivă obţinută ne permite să susţinem că expresia este o
contredicţie.
4.5. Probleme de decizie
Aşa cum am spus, aducerea la forma normală permite stabilirea valorii de adevăr a
funcţiilor logice.
Să începem prin a preciza câteva noţiuni necesare în cele ce urmează. Mai întâi să
observăm că dacă într-o expresie sunt suprimaţi functorii principali, ceea ce rămîne
se vor numi membrii expresiei.
Exemplu. Dacă se dă expresia p → (q ∧ r ) , membrii expresiei sunt p si q ∧ r .
Numim temeni primi variabilele şi negaţiile lor.
De exemplu în expresia p → (q ∧ r ) termenii primi sunt p, q, r .
Rezolvare.
Urmărind valorile variabilelor pentru care funcţia este 1 pute scrie următoarea funcţie
Φ = abc ∨ abc ∨ abc ∨ abc
Aceasta este o formă normală disjunctivă.
Pentru a o simplifica procedăm astfel:
Φ = ac(b ∨ b) ∨ ab(c ∨ c) = ac ∨ ab
Putem deci reprezenta schema a cărei funcţionare esre dată de funcţia Φ .
Schema este cea din figura de mai jos