Qualcuno può aiutarmi con quest progetto??
Scrivere un programma ANSI C che acquisisce da tastiera una formula di logica proposizionale e, se esiste, stampa a video un assegnamento di verità che la soddisfa. La formula deve contenere al più tre occorrenze di connettivi logici (negazione, disgiunzione, congiunzione, implicazione, doppia implicazione, disgiunzione esclusiva, disgiunzione negata, congiunzione negata), i quali possono essere rappresentati per semplicità come cifre decimali. Di conseguenza, la formula deve contenere al più quattro occorrenze di proposizioni, le quali possono essere rappresentate per semplicità come singole lettere. La formula non deve contenere parentesi, quindi per stabilirne il valore di verità bisogna applicare le regole di precedenza e associatività.
