Calculateur de produit de sommes avec maxtermes

Indiquez le nombre de variables d’entrée et les indices de ces lignes : le calculateur convertit chaque indice en affectation binaire, écrit le maxterme correspondant, puis multiplie les sommes dans une expression POS canonique unique. Le résultat fournit aussi la notation compacte du produit de maxtermes, les indices triés, les noms des variables et un détail terme par terme facile à vérifier ou à copier.

Transformez les lignes nulles en maxtermes canoniques

La forme POS canonique part des lignes de la table de vérité où la fonction booléenne vaut zéro. Numérotez les lignes dans l’ordre binaire habituel, la première variable représentant le bit de poids fort, puis saisissez ces numéros comme liste de maxtermes. Pour chaque ligne retenue, le calculateur complète l’écriture binaire jusqu’au nombre déclaré de variables et construit une somme où chaque variable apparaît exactement une fois. Un bit nul donne la variable non complémentée ; un bit égal à un donne la variable complémentée, signalée par une apostrophe. Cette polarité permet à la somme de s’annuler précisément pour l’affectation visée. Ainsi, 101 pour A, B et C devient (A' + B + C'). Les indices sont triés avant la construction, si bien qu’une saisie désordonnée produit quand même l’ordre canonique croissant. Les doublons sont refusés, car une liste de maxtermes représente un ensemble de lignes et la répétition d’un facteur n’ajoute aucune information logique. Le détail conserve ensemble l’indice, la ligne binaire complétée, les littéraux et la somme finale afin de simplifier le contrôle.

Lisez et vérifiez le produit de sommes obtenu

L’expression principale juxtapose les maxtermes, ce qui représente une multiplication booléenne : chaque somme OR entre parenthèses est combinée par AND. La notation associée emploie ΠM suivi des indices triés des lignes nulles, une écriture compacte courante dans les cours de logique, les cahiers des charges, les cartes de Karnaugh et la documentation de conception numérique. La vérification est systématique. Choisissez un indice indiqué, affectez ses bits aux variables et examinez la somme correspondante. Tous ses littéraux deviennent nuls ; le terme vaut donc zéro et force tout le produit à zéro. Pour une ligne absente de la liste, aucun maxterme n’est conçu pour s’annuler sur cette affectation complète : chaque somme reste égale à un et le produit vaut un. Vous confirmez ainsi que l’expression décrit exactement l’ensemble de zéros fourni. L’ordre des variables est conservé, car le modifier changerait la valeur numérique de chaque ligne. Si vous indiquez des noms personnalisés, ils doivent être uniques, valides et aussi nombreux que les variables ; sinon, des noms prévisibles sont générés.

Intégrez la forme POS canonique à votre conception

Le produit de sommes canonique est une représentation exacte, mais pas forcément le circuit le plus compact. Il constitue surtout un lien fiable entre une table de vérité et l’optimisation ultérieure. Commencez par confirmer les lignes nulles, générez l’expression POS, puis exploitez le détail des termes pour repérer une erreur d’indice, d’ordre des bits ou de complémentation avant toute simplification. Vous pouvez ensuite regrouper les zéros sur une carte de Karnaugh, appliquer l’algèbre de Boole ou transmettre l’expression à un autre procédé de minimisation. Conserver la forme canonique à côté de la forme réduite donne aux personnes chargées de la revue une référence traçable prouvant que l’optimisation n’a pas modifié la fonction. Cette méthode facilite également l’étude des signaux actifs à l’état bas, des montages à décodeur et des vecteurs de test, puisque chaque maxterme désigne une affectation désactivée précise. Les entrées sont limitées à seize variables et les indices doivent appartenir à la table correspondante. Le calcul est déterministe, sans réseau, état enregistré, hasard ni horloge. L’utilisation dans le navigateur est gratuite ; chaque appel automatisé à l’API coûte $0.002.