Ti ringrazio ma quella guida la conosco già...
il mio problema più che nella sintassi del codice è nello scrivere i programmi, devo implementare un programma che decide se una data formula è una tautologia o meno...
se ti capita tra le mani qualche programma già scritto che faccia qualcosa di simile, per vedere qualche esempio, se puoi postarmelo in questo thread te ne sarei molto grato.
Grazie ancora.