Fundamente de informatică - Tema 3

Evaluarea formulelor propoziţionale

1. Scrieţi o funcţie care transformă o formulă propoziţională în formă normală conjunctivă.
   Puteţi scrie o funcţie care prelucrează direct reprezentarea internă a unei formule, fără a mai face citirea de la intrare.
   Puteţi şi folosi şi funcţia ataşată de citire a unei formule propoziţionale, scrisă cu ~ pentru negaţie, * pentru conjuncţie, şi + pentru disjuncţie.
   O variantă de soluţie
2. Adaptaţi algoritmul DPLL de la curs pentru a returna şi o atribuire care satisface formula.
   O variantă de soluţie, adaptată după Sat-Micro (Conchon et al., 2008)