Iskazne formule u C-u

Za iskaznu formulu napraviti tabelu,a zatim proveriti da li je valjana(tj.da li je tautologija).
Svaki puti kada se pokrene program treba da omoguci unos proizvoljne iskazne formule(npr. (((p ∨ q) ∨ ¬p) ⇒ p)) , tablicu sa vrednostima za svako slovo,svaki deo formule i na kraju za celu formulu. Ako su sve vrednosti ya celu formulu tacno onda je tautologija.

Ima li neko uradjen zadatak u C-u(eventualno nekom drugom programu).
Hvala unapred i veliki pozdrav.