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 !

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