Source: http://www.lycee-ferry-versailles.fr/si-new/4_4_fonctions_logiques/1_cours/cours_logique_combinatoire_eleve.pdf