A python program for generating truth tables from assertions in classical propositional logic and Lukasiewicz logic.
It requires installation of the tabulate python library.
See main.py for an explanation of its use.
Un programme python permettant de générer des tables de vérité à partir d'une assertion en logique propositionelle classique et de Lukasiewicz.
Il nécessite l'installation de la librairie tabulate.
Voir main.py pour une explication de son utilisation.