Chi può aiutarmi con questo progetto?????
Scrivere un programma ANSI C che acquisisce da tastiera una formula di logica proposizionale in
forma normale disgiuntiva, la trasforma nell'equivalente formula di logica proposizionale in forma
normale congiuntiva, stampa a video quest'ultima formula e stabilisce se essa µe una tautologia.
Aiutoooo!!!! grazie mille a tutti!!!