Progetto sessione estiva a.a. 2007/2008

Scrivere un programma ANSI C che acquisisce una formula logica in forma normale congiuntiva e stabilisce se la formula è soddisfacibile, cioè se esiste un assegnamento di valori di verità alle variabili presenti nella formula che rende la formula vera.