Boolean Expression Simplifier
Använd det här verktyget direkt - inga omdirigeringar, ingen registrering krävs.
Inmatning av booleskt uttryck
Förenklat uttryck
Sanningstabell
Gate nätverk
Hur Boolean Expression Simplification fungerar
Boolesk algebraförenkling reducerar komplexa logiska uttryck till deras minimala ekvivalenta form med hjälp av en uppsättning algebraiska lagar. Varje digital krets, från grundläggande grindar till komplexa processorer, arbetar på boolesk logik – och förenklingen minskar direkt antalet grindar, strömförbrukning och utbredningsfördröjning i verklig hårdvara.
Summa av produkter (SOP)
Standardformuläret där AND-termer är OR-ordnade tillsammans. Varje boolesk funktion kan uttryckas i SOP och den mappas direkt till ett AND-ELLER-grindnätverk på två nivåer.
Främsta implikanter
En prime implicant är en produktterm som inte kan kombineras med en annan term för att skapa en enklare term. Quine-McCluskey-metoden hittar alla viktiga implikanter systematiskt.
Essential Prime Implicants
En väsentlig prime implicant omfattar minst en minterm som ingen annan prime implicant täcker. Minimiskyddet måste inkludera alla väsentliga prime implicants.
De Morgans lagar och booleska identiteter
Dessa grundläggande identiteter låter dig transformera och förenkla booleska uttryck. Förenklingen tillämpar dessa automatiskt.
| Identitetsnamn | Uttryck | Beskrivning |
|---|---|---|
| De Morgan 1 | (AB)' = A' + B' | NAND är lika med OR för komplement |
| De Morgan 2 | (A+B)' = A'B' | NOR är lika med OCH av komplement |
| Absorption | A + AB = A | Tar bort överflödiga produktvillkor |
| Konsensus | AB + A'C + BC = AB + A'C | Eliminerar överflödiga konsensusvillkor |
| Komplettera | A + A' = 1 | AA' = 0 | En variabel ELLER dess komplement är alltid 1 |
| Idempotent | A + A = A | AA = A | Upprepade termer kollapsar till en enda term |
Quine-McCluskey Algoritm steg för steg
Quine-McCluskey-metoden är en tabellteknik som systematiskt hittar den lägsta SOP-formen för en boolesk funktion. Till skillnad från K-maps fungerar den för hur många variabler som helst och är datorvänlig.
- 1 Lista alla minterms. Konvertera varje rad där utdata är 1 till dess binära representation och gruppera efter antal 1-bitar.
- 2 Slå samman intilliggande grupper. Kombinera par som skiljer sig åt i exakt en bitposition, ersätt den biten med ett streck (bryr dig inte). Upprepa tills inga fler sammanslagningar är möjliga.
- 3 Identifiera främsta implikanter. Varje term som inte kunde slås samman ytterligare är en viktig del. Samla dem alla i ett förstklassigt implikantdiagram.
- 4 Välj viktiga primära implikanter. Hitta varje minterm som täcks av exakt en primär implikant - den implikanten är viktig. Inkludera allt väsentligt i det slutliga uttrycket.
- 5 Täck återstående minterms. För alla minterms som ännu inte täcks av väsentliga, välj girigt ytterligare prime implicants för att minimera det totala termantalet.
Relaterade verktyg
Utforska dessa dedikerade verktygssidor för att fortsätta ditt arbetsflöde med logik, Arduino, PCB och konverteringsfokuserade diagraminställningar.
Logic Gate Diagram Tool
Build clear gate-level logic diagrams and validate signal flow.
Öppna VerktygArduino Circuit Maker
Document board pin connections, modules, and wiring paths quickly.
Öppna VerktygPCB Schematic Tool
Draft production-ready schematic structures before PCB layout.
Öppna VerktygTruth Table To Logic Circuit
Generate gate-level logic from truth-table behavior for quick validation and learning.
Öppna Verktyg