https://123dok.net/document/y96804nr-chapitre-calcul-booléen-partie-propositions-propositions-valeurs-vérité.html