Ciao a tutti!! Potete aiutarmi con questo progetto?? Vi mando il testo...
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.
Grazie mille!!!!
Non so dove mettere le mani!!!!!