Méthode des consensus
De Wikipedia, l'encyclopédie encyclopedia
La méthode des consensus (Willard Van Orman Quine, 1952[1]) est une méthode de calcul booléen. C'est une méthode programmable permettant de simplifier une fonction logique quelconque de plusieurs variables. Elle s'applique indifféremment aux fonctions présentées sous forme canonique, ou sous forme de somme de termes plus ou moins réduits.