Sur l'existence de programmes de logique sur Ti

Bonjour
je débute un cours de logique et je trouve des logiciels capables de faire des calculs logique (BDDC par exemple). table de vérité à partir d'une formule par exemple.
Ainsi je me demandais si des programmes de ce type existent sur Ti (nspire ou 89)?
J'ai cherché (un peu..) mais rien trouvé pour le moment.
Merci pour votre attention.
je débute un cours de logique et je trouve des logiciels capables de faire des calculs logique (BDDC par exemple). table de vérité à partir d'une formule par exemple.
Ainsi je me demandais si des programmes de ce type existent sur Ti (nspire ou 89)?
J'ai cherché (un peu..) mais rien trouvé pour le moment.
Merci pour votre attention.