Ce module python permet de générer des fichiers CSV contenant des tables de vérité pour n'importe quelle logique finie.

Le fichier logics.py présente des exemples de définition de logiques ainsi que de leurs opérations (notamment la logique propositionnelle classique et la logique de Łukasiewicz).

Le fichier example.py permet alors de voir un exemple de ce module avec ces deux logiques.

Les fichiers CSV sont enregistrés par défaut dans le dossier ./tables/. Il est possible de modifier ce chemin en changeant la valeur de PREFIX dans ./engine/utils.py.