Upraszczacz Algebry Boole’a

Upraszczaj wyrażenia Boole’a, korzystając z praw algebry, metody Quine’a-McCluskeya i minimalizacji tablicy Karnaugha. Wprowadź dowolne wyrażenie logiczne (AND, OR, NOT, XOR, NAND, NOR) i natychmiast uzyskaj minimalną postać SOP/POS, pełną tablicę prawdy, wizualizację tablicy Karnaugha, schemat bramek, instrukcje krok po kroku oraz odpowiedniki oparte wyłącznie na NAND/NOR.

Embed Upraszczacz Algebry Boole’a Widget

O Upraszczacz Algebry Boole’a

Upraszczacz Algebry Boole'a redukuje dowolne wyrażenie logiczne do jego minimalnej formy przy użyciu algorytmu Quine'a-McCluskeya oraz analizy mapy Karnaugha. Wprowadzaj wyrażenia z AND, OR, NOT, XOR, NAND, NOR (lub symbolami takimi jak &, |, ~, ^, apostrofem A') i natychmiast otrzymaj pełną tablicę prawdy, kolorową siatkę Karnaugha z pętlami implikantów, tabelę implikantów prostych z oznaczeniem elementów istotnych, wyprowadzenie krok po kroku oraz równoważne implementacje oparte wyłącznie na bramkach NAND i NOR.

Co generuje upraszczacz

📊

Tablica prawdy

Wszystkie \(2^n\) kombinacji wejściowych z wynikiem wyrażenia.

🗺️

Mapa Karnaugha

Siatka w kodzie Graya z zaznaczonym każdym implikantem prostym.

🎯

Minimalne SOP / POS

Najmniej literałów, najmniej składników — optymalne formy.

🧩

Implikanty proste

Z oznaczeniem istotności — dowiedz się, które są niezbędne.

↑↓

Formy NAND/NOR

Równoważniki z bramek uniwersalnych do syntezy układów.

↘

Krok po kroku

Wyjaśnienie wyprowadzenia metodą Quine'a-McCluskeya.

Prawa algebry Boole'a — Referencja

Prawo	Postać OR	Postać AND
Tożsamości	\( A + 0 = A \)	\( A \cdot 1 = A \)
Elementu neutralnego	\( A + 1 = 1 \)	\( A \cdot 0 = 0 \)
Idempotentności	\( A + A = A \)	\( A \cdot A = A \)
Dopełnienia	\( A + \overline{A} = 1 \)	\( A \cdot \overline{A} = 0 \)
Podwójnej negacji	\( \overline{\overline{A}} = A \)
Przemienności	\( A + B = B + A \)	\( A \cdot B = B \cdot A \)
Łączności	\( (A + B) + C = A + (B + C) \)	\( (A \cdot B) \cdot C = A \cdot (B \cdot C) \)
Rozdzielności	\( A \cdot (B + C) = AB + AC \)	\( A + BC = (A+B)(A+C) \)
Apsorpcji	\( A + AB = A \)	\( A(A + B) = A \)
De Morgana	\( \overline{A + B} = \overline{A} \cdot \overline{B} \)	\( \overline{A \cdot B} = \overline{A} + \overline{B} \)
Konsensusu	\( AB + \overline{A}C + BC = AB + \overline{A}C \)

Ściąga ze składni wejściowej

Operator	Akceptowane formy	Przykład
AND	`&`, `*`, `·`, `.`, połączenie `AB`, słowo `AND`, `∧`	`A&B`, `AB`, `A AND B`
OR	`+`, `\|`, słowo `OR`, `∨`	`A+B`, `A \| B`, `A OR B`
NOT	`~`, `!`, `¬`, słowo `NOT`, apostrof `'`	`~A`, `!A`, `A'`, `(AB)'`
XOR	`^`, `⊕`, słowo `XOR`	`A XOR B`, `A^B`
NAND	`⊼`, słowo `NAND`	`A NAND B`
NOR	`⊽`, słowo `NOR`	`A NOR B`
Implikacja	`->`, `=>`, słowo `IMPLIES`, `→`	`A -> B`
Równoważność	`<->`, `<=>`, słowo `IFF`, `↔`	`A <-> B`
Stałe	`0` `1` `TRUE` `FALSE`	`A + 0`, `A * 1`

Algorytm Quine'a-McCluskeya

Metoda Quine'a-McCluskeya to systematyczne, tabelaryczne podejście do znajdowania minimalnego wyrażenia sumy iloczynów. W przeciwieństwie do mapy Karnaugha (która jest wizualna i ograniczona do około 6 zmiennych), metoda ta jest skalowalna i zawsze gwarantuje uzyskanie minimalnego pokrycia.

Wypisz wszystkie mintermy — każdy wiersz tablicy prawdy, który daje wynik 1.
Grupuj według liczby jedynek — posortuj mintermy według liczby jedynek w ich reprezentacji binarnej.
Łącz sąsiednie grupy — pary różniące się dokładnie jednym bitem są łączone, a różniący się bit zastępowany jest myślnikiem. Powtarzaj, aż dalsze łączenie nie będzie możliwe.
Zbierz implikanty proste — każdy składnik, który nie został dalej połączony, jest implikantem prostym.
Zbuduj tabelę implikantów prostych — siatka, gdzie wierszami są implikanty, a kolumnami mintermy. Zaznacz, który implikant pokrywa który minterm.
Wybierz istotne implikanty proste — każdy implikant, który jako jedyny pokrywa dany minterm, jest istotny.
Pokryj pozostałe mintermy — wybierz dodatkowe implikanty, aby pokryć mintermy nieobjęte przez istotne, minimalizując liczbę literałów.

Jak korzystać z Upraszczacza Algebry Boole'a

Wprowadź wyrażenie: Wpisz dowolne wyrażenie logiczne używając preferowanej notacji. Możesz mieszać style — A.B + A'C oraz A AND B OR NOT A AND C zostaną zinterpretowane identycznie.
Kliknij Uprość: Narzędzie przetworzy dane, zbuduje tablicę prawdy, uruchomi algorytm Quine'a-McCluskeya i zminimalizuje wyrażenie.
Przeanalizuj mapę Karnaugha: Każda kolorowa pętla to implikant prosty. Istotne implikanty są rysowane linią ciągłą, nieistotne linią przerywaną.
Przejrzyj kroki: Panel kroków prowadzi od kanonicznego SOP, przez odkrywanie implikantów prostych, aż do formy minimalnej.
Sprawdź formy równoważne: Użyj minimalnego POS, jeśli Twoim celem jest architektura OR-of-AND, lub formy NAND-only przy projektowaniu układów opartych na krzemie.

Zastosowania

Dziedzina	Przypadek użycia
Projektowanie układów cyfrowych	Minimalizacja liczby bramek w logice kombinacyjnej — mniej bramek oznacza mniejszy pobór mocy, mniejszy układ i krótsze opóźnienie propagacji.
Optymalizacja kompilatorów	Upraszczanie wyrażeń warunkowych w instrukcjach IF i pętlach w celu redukcji kosztu ewaluacji rozgałęzień.
Logika programowalna (FPGA)	Upakowanie większej ilości logiki w dostępnych tablicach przeglądowych (LUT) poprzez generowanie form o minimalnej liczbie literałów.
Optymalizacja zapytań bazodanowych	Przepisanie predykatów w klauzuli WHERE na równoważne, ale tańsze w obliczaniu formy.
Weryfikacja formalna	Formy kanoniczne (SOP/POS) umożliwiają sprawdzanie równoważności dwóch specyfikacji.
Edukacja / Kursy	Weryfikacja zadań domowych, nauka wyboru implikantów prostych, badanie strategii grupowania w mapach Karnaugha.

FAQ

Co to jest upraszczanie algebry Boole'a?

Upraszczanie algebry Boole'a redukuje wyrażenie logiczne do równoważnej postaci z mniejszą liczbą operacji i literałów. Prostsze wyrażenie oznacza mniej bramek logicznych w sprzęcie, szybsze obliczenia w oprogramowaniu i łatwiejszą weryfikację. Metody obejmują prawa algebry, mapy Karnaugha i algorytm Quine'a-McCluskeya — to narzędzie łączy wszystkie trzy.

Co to jest minimalna postać sumy iloczynów (SOP)?

Minimalna postać sumy iloczynów zapisuje funkcję logiczną jako sumę (OR) najmniejszej możliwej liczby iloczynów (AND). Uzyskuje się ją poprzez rozwinięcie funkcji do kanonicznego SOP, a następnie łączenie sąsiednich mintermów według reguły \( XY + \overline{X}Y = Y \). Wynikiem jest optymalny dwupoziomowy obwód AND-OR.

Jak działa mapa Karnaugha?

Mapa Karnaugha to siatka, w której wiersze i kolumny są oznaczone kodem Graya, więc sąsiadujące pola różnią się o jedną zmienną. Grupy jedynek o rozmiarach będących potęgami dwójki odpowiadają iloczynom eliminującym zmienne. Strategia polega na pokryciu każdej jedynki największymi możliwymi prostokątami.

Co to jest implikant prosty?

Implikant prosty to iloczyn pokrywający grupę mintermów, którego nie da się już powiększyć. Istotny implikant prosty to taki, który jako jedyny pokrywa przynajmniej jeden konkretny minterm — musi on znaleźć się w końcowym uproszczonym wyrażeniu. Implikanty nieistotne są opcjonalne.

Jaką składnię wejściową akceptuje upraszczacz?

Możesz pisać AND jako &, *, ·, . lub AB. OR jako + lub |. NOT jako ~, !, ¬ lub apostrof (A'). Operatory słowne jak AND, OR, NOT, XOR, NAND, NOR, IMPLIES, IFF oraz strzałki ->, <-> są również obsługiwane. Stałe to 0, 1, TRUE, FALSE.

Dlaczego formy oparte tylko na NAND i tylko na NOR są użyteczne?

NAND i NOR to bramki uniwersalne. W technologii krzemowej bramki NAND są często najtańsze i najszybsze. Upraszczacz pokazuje te formy, co jest przydatne przy projektowaniu konkretnych układów elektronicznych, gdzie dąży się do ujednolicenia typów stosowanych bramek.

Ile zmiennych obsługuje narzędzie?

Do 8 zmiennych. Mapa Karnaugha jest generowana dla 2, 3 i 4 zmiennych. Dla 5 i więcej zmiennych tablica prawdy staje się bardzo duża, ale algorytm Quine'a-McCluskeya wciąż wyznacza dokładną formę minimalną; pomijana jest jedynie mapa K, gdyż wizualizacja w więcej niż 2 wymiarach jest nieczytelna.

Czy mogę sprawdzić, czy dwa wyrażenia są równoważne?

Tak — uprość oba wyrażenia osobno. Jeśli ich minimalne formy SOP są identyczne, wyrażenia są równoważne. Możesz też porównać ich tablice prawdy wiersz po wierszu.

Cytuj ten materiał, stronę lub narzędzie w następujący sposób:

"Upraszczacz Algebry Boole’a" na https://MiniWebtool.com/pl/upraszczacz-algebry-boola/ z MiniWebtool, https://MiniWebtool.com/

przez zespół miniwebtool. Zaktualizowano: 2026-04-19

Dostępne API dla deweloperów: Uruchom to narzędzie z aplikacji, automatyzacji lub agenta za pomocą jednego żądania HTTP JSON. Zobacz dokumentację API

Możesz także wypróbować nasz AI Rozwiązywacz Matematyczny GPT, aby rozwiązywać swoje problemy matematyczne poprzez pytania i odpowiedzi w języku naturalnym.

Upraszczacz Algebry Boole’a

O Upraszczacz Algebry Boole’a

Co generuje upraszczacz

Prawa algebry Boole'a — Referencja

Ściąga ze składni wejściowej

Algorytm Quine'a-McCluskeya

Jak korzystać z Upraszczacza Algebry Boole'a

Zastosowania

FAQ

Zaawansowane działania matematyczne:

Polecane narzędzia: