Documente Academic
Documente Profesional
Documente Cultură
a) F = (A A) (A B D C) b) F = (D A C A (D B)) Ex2.16 Realizai un program ntr-un limbaj de programare cunoscut care s genereze i s afieze arborele asociat unei formule. Ex2.17 Care din urmtoarele formule sunt tautologii ?
Algoritm Horn
Intrare: Orice formul Horn, F, reprezentat ca mulime de clauze, clauzele componente fiind clauze Horn diferite de clauza vid i scrise sub form implicaional . Ieire: DA, n cazul n care formula F este satisfiabil (furnizndu-se i o asignare S care este model pentru F) i NU n caz contrar (F nu este satisfiabil). Metod (de marcare): Pasul 1. i := 0. Pasul 2. Ct_timp ((exist n F o clauz C de forma A1 A2 A3 Ak B, cu A1, A2, A3, ... , Ak marcai i B nemarcat sau de forma A1 A2 A3 Ak 0, cu A1, A2, A3, ... , Ak marcai) i (i = 0)) execut: Pasul 3. Alege un asemenea C ca mai sus. Pasul 4. Dac ( C = A1 A2 A3 Ak B ) atunci Pasul 5. Marcheaz B peste tot n F. altfel Pasul 6. i := 1. Sf_Dac Sf_Ct_timp Pasul 7. Dac ( i = 0 ) atunci Pasul 8. Scrie DA. Pasul 9. Scrie S, cu S(A) = 1 dac i numai dac A apare n F i este marcat. altfel Pasul 10. Scrie NU. Sf_Dac.