Expression et calcul formel - Page 1

Je souhaiterais dans mon programme dresser une table de vérité à partir d'une équation.
L'outil de calcul formel de la TI permet de réaliser cela très facilement en TI-Basic (a and b or a and b |a = 1 and b = 0 and c = 0 par exmple), avec des boucle pour changer les valeurs des variables.
Mais en C, je ne sais pas vraiment comment m'y prendre. Je pourrais recoder un interpréteur d'expression mais c'est quand même fastidieux. Y aurait-il un moyen d'envoyer mon expression à l'outil de calcul formel de la calculatrice qui me retournerai le résultat dans un entier ?

Merci d'avance

push_parse_text + NG_rationalESI est une façon d'y arriver. Peut-être avec un push_internal_simplify au milieu.

J'ai compiler le code suivant:

void _main(void)
{
push_parse_text ("1 and 1");
NG_rationalESI (top_estack);

/*affichage*/
WinClr (DeskTop);
Print2DExpr (Parse2DExpr (top_estack, FALSE), DeskTop, 0, 50);

ngetchx ();
}

Ca marche nickel, par contre je ne vois pas comment je pourrais récupérer le résultat dans un entier.