Fundamente de informatică - Tema 4

1. Citirea de expresii
   Scrieţi o funcţie care citeşte o formulă în formă normală conjunctivă şi o reprezintă ca listă de liste de literali.
   Formula se dă la intrare cu câte o clauză pe fiecare linie, până la sfârşitul intrării (EOF). Identificatorii (numele propoziţiilor) sunt secvenţe de litere, cifre şi liniuţă de subliniere. Semnul + reprezintă disjuncţia, şi ~ reprezintă negaţia. Între operatori şi identificatori pot fi un număr arbitrar (inclusiv zero) de spaţii albe (spaţiu, tab, etc.). Exemplu:

   a +b+~c0 +~ d
     c_1
    ~a+ c0
   

2. Lucrul cu liste
   O configuraţie de blocuri suprapuse (ca în ultimul curs) se poate reprezenta ca mulţime de liste de întregi: în fiecare listă, primul element fiind cel mai de sus.
   Scrieţi o funcţie care primeşte o configuraţie şi returnează mulţimea tuturor configuraţiilor care se pot obţine mutând un bloc liber altundeva: pe alt bloc, sau plasându-l singur.
   Exemplu: din configuraţia { [1;2], [3] } se obţine mulţimea de configuraţii: { { [1], [2], 3] }, { [2], [1;3] }; { [3;1;2] } }
   Soluţie scurtă, sau definind întâi un modul pentru mulţimi cu tipărire.