PawLogic

PawLogic est un programme permettant de manipuler des expressions booléennes. Le programme manipule à la fois des expressions de logique et des formules booléennes quantifiées (QBF). La logique est largement utilisée de nos jours. Elle forme la base des méthodes de démonstration mathématiques. Elle est utilisée lors de la vérification formelle comme la vérification de modèles symboliques et la vérification d'équivalence des circuits séquentiels. La logique est également derrière les configurations de produit, derrière la construction de contrôles à distance et derrière les intersections de feux de circulation. Et la logique est quelque chose que nous utilisons tous les jours. Par exemple, la plupart d'entre nous accepte le raisonnement suivant : « S'il pleut, je serai mouillé. Il pleut, donc je suis mouillé ». C'est de la logique appliquée.