Logique - Algèbre de Boole

Voir :

https://fr.m.wikipedia.org/wiki/Alg%C3%A8bre_de_Boole_(logique)

Table de vérité

Tableau de Karnaugh

Théorème de Morgan

https://math.univ-lyon1.fr/irem/IMG/pdf/booleen-2.pdf

Ne pas confondre la logique booléenne avec la logique aristotélicienne / scolastique !

En Python

Voir :

https://docs.sympy.org/latest/modules/logic.html

https://ailtonbsj.github.io/simplifying-boolean-logic-expressions-with-sympy

https://booleanpy.readthedocs.io/en/latest/users_guide.html

https://stackoverflow.com/questions/52416781/how-to-simplify-these-boolean-statements

Voir aussi :

Algorithmique - Techniques fondamentales de programmation Exemples en Python