Uproszczenie wyrażeń logicznych
Skorzystaj z tego narzędzia bezpośrednio — bez przekierowań i rejestracji.
Wejście wyrażenia logicznego
Uproszczone wyrażenie
Tabela prawdy
Sieć Bram
Jak działa uproszczenie wyrażeń logicznych
Uproszczenie algebry Boole'a redukuje złożone wyrażenia logiczne do ich minimalnej równoważnej postaci przy użyciu zestawu praw algebraicznych. Każdy obwód cyfrowy, od podstawowych bramek po złożone procesory, działa w oparciu o logikę boolowską — a uproszczenie bezpośrednio zmniejsza liczbę bramek, zużycie energii i opóźnienie propagacji w prawdziwym sprzęcie.
Suma produktów (SOP)
Standardowa forma, w której warunki AND są łączone operatorem OR. Każdą funkcję boolowską można wyrazić w SOP i odwzorowuje się ją bezpośrednio na dwupoziomową sieć bramek AND-OR.
Pierwsze implikanty
Implikant główny to termin iloczynowy, którego nie można połączyć z innym terminem w celu uzyskania prostszego terminu. Metoda Quine’a-McCluskeya systematycznie znajduje wszystkie implikacje pierwsze.
Podstawowe implikanty pierwsze
Istotny implikant pierwszy obejmuje co najmniej jeden minterm, którego nie obejmuje żaden inny implikant pierwszy. Minimalne pokrycie musi obejmować wszystkie istotne implikanty pierwsze.
Prawa De Morgana i tożsamości logiczne
Te podstawowe tożsamości pozwalają przekształcać i upraszczać wyrażenia logiczne. Uproszczenie stosuje je automatycznie.
| Nazwa tożsamości | Wyrażenie | Opis |
|---|---|---|
| De Morgana 1 | (AB)' = A' + B' | NAND równa się OR uzupełnień |
| De Morgana 2 | (A+B)' = A'B' | NOR równa się AND uzupełnień |
| Absorpcja | A + AB = A | Usuwa zbędne terminy dotyczące produktów |
| Konsensus | AB + A'C + BC = AB + A'C | Eliminuje zbędne warunki konsensusu |
| Uzupełnij | A + A' = 1 | AA' = 0 | Zmienna LUB jej uzupełnienie wynosi zawsze 1 |
| Idempotentny | A + A = A | AA = A | Powtarzające się terminy zwijają się w jeden termin |
Algorytm Quine’a-McCluskeya krok po kroku
Metoda Quine’a-McCluskeya jest techniką tabelaryczną, która systematycznie znajduje minimalną postać SOP funkcji boolowskiej. W przeciwieństwie do map K, działa ona dla dowolnej liczby zmiennych i jest przyjazna dla komputera.
- 1 Wymień wszystkie mintermy. Konwertuj każdy wiersz, którego wynik wynosi 1, na jego reprezentację binarną i grupuj według liczby 1-bitów.
- 2 Połącz sąsiednie grupy. Połącz pary, które różnią się dokładnie jednym położeniem bitu, zastępując ten bit myślnikiem (nie przejmuj się). Powtarzaj, aż dalsze scalanie nie będzie możliwe.
- 3 Zidentyfikuj implikacje główne. Każdy termin, którego nie można dalej połączyć, jest implikantem pierwszym. Zbierz je wszystkie w pierwszym wykresie ukrytym.
- 4 Wybierz podstawowe implikanty pierwsze. Znajdź każdy minterm objęty dokładnie jednym implikantem pierwszym — ten implikant jest niezbędny. Uwzględnij wszystkie niezbędne elementy w końcowym wyrażeniu.
- 5 Przykryj pozostałe mintermy. W przypadku wszelkich terminów minterm, które nie są jeszcze objęte podstawowymi informacjami, należy zachłannie wybierać dodatkowe implikanty pierwsze, aby zminimalizować całkowitą liczbę terminów.
Powiązane narzędzia
Przeglądaj te dedykowane strony narzędzi, aby kontynuować pracę z konfiguracjami logiki, Arduino, PCB i diagramów skupionych na konwersji.
Logic Gate Diagram Tool
Build clear gate-level logic diagrams and validate signal flow.
Otwórz narzędzieArduino Circuit Maker
Document board pin connections, modules, and wiring paths quickly.
Otwórz narzędziePCB Schematic Tool
Draft production-ready schematic structures before PCB layout.
Otwórz narzędzieTruth Table To Logic Circuit
Generate gate-level logic from truth-table behavior for quick validation and learning.
Otwórz narzędzie