Simplificateur d'expression booléenne
Utilisez cet outil directement – aucune redirection, aucune inscription requise.
Entrée d'expression booléenne
Expression simplifiée
Table de vérité
Réseau de portes
Comment fonctionne la simplification des expressions booléennes
La simplification de l'algèbre booléenne réduit les expressions logiques complexes dans leur forme équivalente minimale à l'aide d'un ensemble de lois algébriques. Chaque circuit numérique, des portes de base aux processeurs complexes, fonctionne selon une logique booléenne – et la simplification réduit directement le nombre de portes, la consommation d'énergie et le délai de propagation dans le matériel réel.
Somme des produits (SOP)
La forme standard où les termes ET sont combinés par OU. Chaque fonction booléenne peut être exprimée en SOP et correspond directement à un réseau de portes ET-OU à deux niveaux.
Implicants principaux
Un impliquant principal est un terme produit qui ne peut pas être combiné avec un autre terme pour produire un terme plus simple. La méthode Quine-McCluskey trouve systématiquement tous les impliquants principaux.
Implicants principaux essentiels
Un implicant principal essentiel couvre au moins un terme qu'aucun autre implicant principal ne couvre. La couverture minimale doit inclure tous les impliquants principaux essentiels.
Lois de De Morgan et identités booléennes
Ces identités fondamentales permettent de transformer et de simplifier les expressions booléennes. Le simplificateur les applique automatiquement.
| Nom d'identité | Expression | Descriptif |
|---|---|---|
| De Morgan 1 | (AB)' = A' + B' | NAND est égal à OU des compléments |
| De Morgan 2 | (A+B)' = A'B' | NOR est égal à ET de compléments |
| Absorption | A + AB = A | Supprime les termes de produits redondants |
| Consensus | AB + A'C + BC = AB + A'C | Élimine les termes de consensus redondants |
| Complément | A + A' = 1 | AA' = 0 | Une variable OU son complément est toujours 1 |
| Idempotent | A + A = A | AA = A | Les termes répétés se réduisent à un seul terme |
Algorithme Quine-McCluskey étape par étape
La méthode Quine-McCluskey est une technique tabulaire qui trouve systématiquement la forme SOP minimale d'une fonction booléenne. Contrairement aux K-maps, il fonctionne pour un nombre illimité de variables et est convivial pour les ordinateurs.
- 1 Répertoriez tous les termes. Convertissez chaque ligne où la sortie est 1 en sa représentation binaire et regroupez-la par nombre de 1 bits.
- 2 Fusionnez les groupes adjacents. Combinez des paires qui diffèrent exactement par une position de bit, en remplaçant ce bit par un tiret (ne vous en souciez pas). Répétez jusqu’à ce qu’il n’y ait plus de fusion possible.
- 3 Identifiez les principaux impliquants. Tout terme qui ne peut pas être fusionné davantage est un impliquant principal. Rassemblez-les tous dans un tableau des impliquants principaux.
- 4 Sélectionnez les impliquants principaux essentiels. Trouvez chaque minterm couvert par exactement un implicant principal – cet implicant est essentiel. Incluez tous les éléments essentiels dans l’expression finale.
- 5 Couvrir les minutes restantes. Pour tous les termes non encore couverts par les éléments essentiels, choisissez avidement des implicants principaux supplémentaires pour minimiser le nombre total de termes.
Outils associés
Explorez ces pages d'outils dédiées pour poursuivre votre flux de travail avec des configurations de logique, Arduino, PCB et diagrammes axés sur la conversion.
Logic Gate Diagram Tool
Build clear gate-level logic diagrams and validate signal flow.
Ouvrir l'outilArduino Circuit Maker
Document board pin connections, modules, and wiring paths quickly.
Ouvrir l'outilPCB Schematic Tool
Draft production-ready schematic structures before PCB layout.
Ouvrir l'outilTruth Table To Logic Circuit
Generate gate-level logic from truth-table behavior for quick validation and learning.
Ouvrir l'outil