Od 2010 · Ponad 2 mln uruchomień narzędzi miesięcznie
Od 2010
Dodaj do Chrome

Moje Narzędzia

Tryb Automatyczny

Nie zapisano jeszcze żadnych narzędzi.

Uaktualnij do Wersji Premium
Powiązane narzędzia
Następny krok
Solver Tablicy Karnaugha (K-Map)Generator tablicy prawdy
Ta sama sytuacja
Symulator Bramek Logicznych
Więcej narzędzi
Uproszczacz wyrażeń algebraicznychKalkulator BitowyKalkulator Hex
Strona główna > Matematyka > Zaawansowane działania matematyczne
 

Upraszczacz Algebry Boole’a

Upraszczaj wyrażenia boolowskie za pomocą praw algebry, algorytmu Quine McCluskeya i map Karnaugha w narzędziu MiniWebtool. Wprowadź wyrażenie AND, OR, NOT, XOR, NAND lub NOR, aby uzyskać minimalną postać SOP/POS, tabelę prawdy, mapę Karnaugha, diagram bramek i odpowiedniki z samymi NAND.

Potrzebujesz pomocy z narzędziem? Zapytaj AI
Gemini (kopiuj i otwórz)

W Gemini wklej skopiowane pytanie do czatu. Możesz je też skopiować poniżej.

Zobacz pytanie

3 darmowe użycia dziennieBez rejestracjiNatychmiastowe wyniki
Upraszczacz Algebry Boole’aWypróbuj teraz — za darmo ▼
Na mapie Karnaugha para sąsiadujących jedynek eliminuje jedną zmienną

Wpisz poniżej wyrażenie boolowskie, aby uzyskać postać minimalną, tabelę prawdy, mapę Karnaugha i kroki.

Przykłady:
Wstaw:
AKCEPTOWANA SKŁADNIA
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR NAND NOR  |  lub lista: F(A,B,C,D) = Σm(1,3,7) + d(0,2)

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

Upraszczacz Algebry Boole’a: Prawa algebry Boole'a — Referencja
PrawoPostać ORPostać 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

Upraszczacz Algebry Boole’a: Ściąga ze składni wejściowej
OperatorAkceptowane formyPrzykł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 XORA XOR B, A^B
NAND⊼, słowo NANDA NAND B
NOR⊽, słowo NORA NOR B
Implikacja->, =>, słowo IMPLIES, →A -> B
Równoważność<->, <=>, słowo IFF, ↔A <-> B
Stałe0 1 TRUE FALSEA + 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.

  1. Wypisz wszystkie mintermy — każdy wiersz tablicy prawdy, który daje wynik 1.
  2. Grupuj według liczby jedynek — posortuj mintermy według liczby jedynek w ich reprezentacji binarnej.
  3. Łą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.
  4. Zbierz implikanty proste — każdy składnik, który nie został dalej połączony, jest implikantem prostym.
  5. Zbuduj tabelę implikantów prostych — siatka, gdzie wierszami są implikanty, a kolumnami mintermy. Zaznacz, który implikant pokrywa który minterm.
  6. Wybierz istotne implikanty proste — każdy implikant, który jako jedyny pokrywa dany minterm, jest istotny.
  7. 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

  1. 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.
  2. Kliknij Uprość: Narzędzie przetworzy dane, zbuduje tablicę prawdy, uruchomi algorytm Quine'a-McCluskeya i zminimalizuje wyrażenie.
  3. Przeanalizuj mapę Karnaugha: Każda kolorowa pętla to implikant prosty. Istotne implikanty są rysowane linią ciągłą, nieistotne linią przerywaną.
  4. Przejrzyj kroki: Panel kroków prowadzi od kanonicznego SOP, przez odkrywanie implikantów prostych, aż do formy minimalnej.
  5. 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

Upraszczacz Algebry Boole’a: Zastosowania
DziedzinaPrzypadek użycia
Projektowanie układów cyfrowychMinimalizacja liczby bramek w logice kombinacyjnej — mniej bramek oznacza mniejszy pobór mocy, mniejszy układ i krótsze opóźnienie propagacji.
Optymalizacja kompilatorówUpraszczanie 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ń bazodanowychPrzepisanie predykatów w klauzuli WHERE na równoważne, ale tańsze w obliczaniu formy.
Weryfikacja formalnaFormy kanoniczne (SOP/POS) umożliwiają sprawdzanie równoważności dwóch specyfikacji.
Edukacja / KursyWeryfikacja zadań domowych, nauka wyboru implikantów prostych, badanie strategii grupowania w mapach Karnaugha.

FAQ

Czy mogę podać mintermy i warunki obojętne?
Tak. Wpisz funkcję jako listę mintermów, na przykład F(A,B,C,D) = Σm(1,3,7,11,15) + d(0,2,5), albo jako listę maxtermów ΠM(…). Możesz też użyć zapisu m(…) lub sum m(…), a warunki obojętne zapisać jako dc(…) lub x(…). W tabeli prawdy i mapie Karnaugha są oznaczone jako X i wykorzystywane tylko wtedy, gdy pozwalają utworzyć większą grupę.
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.
Jak uprościć wyrażenie logiczne na podstawie wartości funkcji w tabeli prawdy?
Zapisz funkcję za pomocą mintermów odpowiadających wierszom wejściowym, dla których wyjście wynosi 1. Następnie wpisz indeksy mintermów w odpowiednim formacie, na przykład F(A,B,C) = Σm(1,3,6). Upraszczacz może na tej podstawie wyznaczyć postać minimalną i tabelę prawdy. Upewnij się, że kolejność zmiennych jest zgodna z przyjętym sposobem numerowania wierszy. Zmiana kolejności A, B i C zmienia to, jakiemu wejściu binarnemu odpowiada każdy indeks.
Dlaczego uproszczone wyrażenie boolowskie ma mniej składników, ale więcej literałów?
Minimalizacja wyrażeń boolowskich może upraszczać je według jednego kryterium kosztem innego. Wyrażenie z mniejszą liczbą składników iloczynowych może zawierać łącznie więcej literałów, podczas gdy równoważne wyrażenie może mieć więcej składników, ale krótsze iloczyny. Istnieje kilka równoważnych minimalnych pokryć, więc wybierz postać najlepiej pasującą do wymagań układu lub zadania. Porównuj też SOP z SOP albo POS z POS, ponieważ te postacie grupują różne wartości wyjściowe.
Co oznacza apostrof po zmiennej w wyrażeniu boolowskim?
Apostrof po zmiennej oznacza negację, czyli dopełnienie tej zmiennej: A' jest równoważne ~A lub !A w zapisie obsługiwanym przez ten upraszczacz. Na przykład AB' oznacza A AND NOT B. Częstym błędem jest umieszczenie apostrofu po całym wyrażeniu bez nawiasów. (A+B)' oznacza negację całego wyrażenia OR, natomiast A+B' neguje tylko B. Nawiasy jasno określają zakres negacji.

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

Porozmawiaj ze swoją ulubioną AI

Gemini (kopiuj i otwórz)

W Gemini wklej skopiowane pytanie do czatu. Możesz je też skopiować poniżej.

Zobacz pytanie

Zaawansowane działania matematyczne:

Rozwiązywanie matematykiCo chcesz obliczyć?

Rozwiązywanie matematyki

Przykłady
Więcej wyrażeń

Wybierz przykład, zmień liczby i rozwiąż. log ma podstawę 10; ln to logarytm naturalny.

Liczby i dzielniki

Ułamki i dzielenie

Potęgi, pierwiastki i logarytmy

Algebra i równania

Rachunek różniczkowy i całkowy

Geometria i trygonometria

Popularne i zaktualizowane narzędzia:

Upraszczacz pierwiastkówUpraszczanie ułamkówKalkulator współczynnika dwumianuZobacz wszystkie →
Strona główna > Matematyka > Zaawansowane działania matematyczne > Upraszczacz Algebry Boole’a