Uprość swój przepływ pracy: Wyszukaj miniwebtool.
Dodaj
Strona główna > Matematyka > Zaawansowane działania matematyczne > Upraszczacz Algebry Boole’a
 

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.

Upraszczacz Algebry Boole’a
Przykłady:
Wstaw:
AKCEPTOWANA SKŁADNIA
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR 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

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

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

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

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

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.

Inne powiązane narzędzia:

Uproszczacz wyrażeń algebraicznych
Konwerter systemu liczbowego
Kalkulator Binarny
Solver Tablicy Karnaugha (K-Map)Nowy
Rozwiązywacz Równań Liniowych
Symulator Bramek LogicznychNowy
Kalkulator Funkcji MöbiusaNowy
Kalkulator Faktoryzacji Wielomianów
Generator tablicy prawdyNowy

Zaawansowane działania matematyczne:

Polecane narzędzia:

Kalkulator Kompatybilności MiłosnejKalkulator znaków słońca, księżyca i ascendentu 🌞🌙✨Kalkulator Znaku WenusLosowy Generator GrupRozdzielacz obrazówPrzelicznik stóp na metryKalkulator numerów aniołaLosowanie listyKalkulator kompatybilności znaków KsiężycaLosowy generator zwierzątLosowy selektor filmówKonwerter Radianów na StopnieGenerator losowych słów angielskichLosowy generator przedmiotówKalkulator Liczby ImieniaKalkulator Obwodu ElipsyMagiczna Kula 8Kalkulator ciąży u psawyszukiwanie-adresu-MACGenerator Prawda czy WyzwanieKalkulator pochodnych cząstkowychGenerator wykreślanekCyfrowy Kalkulator DuszySortować alfabetycznieGenerator losowej godzinyNotatnik OnlineLosowy Generator Drabinki TurniejowejGenerator krzyżówekKalkulator prędkości jazdy na rowerzeKalkulator liczby ścieżek życiaGenerator kodu Morse'aKalkulator PrzeciwprostokątnejKonwerter liczb rzymskichKalkulator testu chi-kwadratGenerator losowych krajówKalkulator przedawkowania kofeinyKalkulator Dnia Roku - Który Dzień Roku Jest Dzisiaj?Rozdzielacz AudioKalkulator współczynnika zmiennościZaawansowany analizator kompatybilności znaków zodiakuKonwerter szesnastkowy na binarnyKalkulator znaku księżycowegoKonwerter ułamkowy czasuGenerator Losowych UrodzinLosowy Generator KolorówKalkulator nachylenia i stopniaKalkulator wiekuJaki jest mój szczęśliwy numer?⏱️ Kalkulator GodzinKalkulator schodówGenerator losowych ciągówGenerator Losowych PosiłkówSortuj LiczbyUsuwacz Niewidocznych ZnakówGenerator losowych datKalkulator inflacji w USAKalkulator Względnego Odchylenia StandardowegoKonwerter binarny na szesnastkowyKalkulator decybeli (dB)Generator Kart BingoGenerator szablonu rozwinięcia stożkaKalkulator bonusówKalkulator Czasu TrwaniaKalkulator nachylenia dachuKalkulator Liczby OsobowościLosowy Generator Liczb CałkowitychKalkulator Szczęśliwych LiczbKalkulator ułamka zwykłego na dziesiętnyGenerator Małego Tekstu ⁽ᶜᵒᵖʸ ⁿ ᵖᵃˢᵗᵉ⁾Kalkulator konwersji skali modeluKalkulator Znaku MarsaKalkulator transformaty Laplace'aKalkulator Wspolczynnika KorelacjiKalkulator odwrotnej transformaty Laplace'aKalkulator TransformatoraPołącz filmyKalkulator toksyczności czekoladyPrzelicznik cm na stopy i caleRzut kostkąKonwerter szesnastkowy na dziesiętnyGenerator anagramówGenerator losowych kart kredytowychStatystyki Kanału YouTubeUpraszczacz pierwiastkówKalkulator Prawa CosinusówKalkulator arcus tangensaParafrazer AIKonwerter binarny na dziesiętnyKonwerter dziesiętny na szesnastkowyDetektor treści AIGenerator losowego adresu IPGenerator losowych współrzędnychKalkulator ilości cyfrKalkulator Regresji LiniowejKalkulator zarobków YouTubeNazwij generator losowyPrzelicznik Metrów na StopyPrzesunięcie czasu SRTKalkulator Długości ŁukuKalkulator Macierzy SąsiedztwaKalkulator Sortowania TopologicznegoKalkulator Kolorowania GrafówSymulator Bramek LogicznychSolver Tablicy Karnaugha (K-Map)Upraszczacz Algebry Boole’aKalkulator Funkcji PodziałuKalkulator Pierwiastka CyfrowegoSprawdzacz Liczb FibonacciegoKalkulator ułamków egipskichKalkulator Funkcji MöbiusaWeryfikator Hipotezy GoldbachaTest Liczb Pierwszych Mersenne’aWyszukiwarka Liczb Pierwszych BliźniaczychSprawdzacz Liczb ZaprzyjaźnionychSprawdzacz Liczb DoskonałychKalkulator Potęgowania ModularnegoKalkulator Permutacji z PowtórzeniamiKalkulator Wielkości EfektuKalkulator Ryzyka WzględnegoKalkulator Ilorazu SzansKalkulator Tabeli KontyngencjiKalkulator Dokładnego Testu FisheraKalkulator Korelacji Rangowej SpearmanaKalkulator Rozkładu BetaKalkulator Rozkładu WeibullaKalkulator Rozkładu WykładniczegoKalkulator Rozkładu GeometrycznegoKalkulator Rozkładu Ujemnego DwumianowegoKalkulator Rozkładu HipergeometrycznegoKalkulator Testu F i Rozkładu FKalkulator Twierdzenia BayesaKalkulator Wielomianu CharakterystycznegoKalkulator Potęgi MacierzyKalkulator Dekompozycji CholeskiegoKalkulator Rozkładu QRKalkulator Diagonalizacji MacierzyKalkulator Wzory CrameraKalkulator Przestrzeni KolumnowejNull Space CalculatorKalkulator Kąta Między WektoramiKalkulator Wektora JednostkowegoKalkulator Długości WektoraKalkulator Iloczynu WektorowegoKalkulator Iloczynu SkalarnegoKalkulator Mnożenia MacierzyKalkulator Macierzy OdwrotnejKalkulator RREF (Postać Schodkowa Zredukowana)Kalkulator Metody NewtonaKalkulator Macierzy JakobianuKalkulator Całki PowierzchniowejKalkulator Całki KrzywoliniowejKalkulator RotacjiKalkulator DywergencjiKalkulator Gradientu WielozmiennowyKalkulator Optymalizacji (Rachunek Różniczkowy)Kalkulator Pochodnych PowiązanychKalkulator Chwilowego Tempa ZmianKalkulator Średniego Tempa ZmianKalkulator Sumy Szeregów NieskończonychKalkulator Testu Zbieżności SzeregówKalkulator Szeregów PotęgowychKalkulator Szeregu MaclaurinaKalkulator Reguły L'HospitalaKalkulator Całki NiewłaściwejKalkulator Reguły SimpsonaKalkulator Reguły TrapezówKalkulator Sumy RiemannaKreślarz Krzywych ParametrycznychKalkulator Powierzchni ObrotowejKalkulator Objętości Bryły ObrotowejKalkulator Odległości Geometria WspółrzędnychKalkulator Wzoru HeronaKalkulator Stycznej do OkręguKalkulator Dwusiecznej KątaKalkulator Okręgu WpisanegoKalkulator Okręgu OpisanegoKalkulator Odległości OrtodromicznejKalkulator Odległości 3DKalkulator TorusaKalkulator Ściętego StożkaKalkulator Pola Wielokąta NieregularnegoKalkulator Wielokąta ForemnegoIdentyfikator Przekroju StożkowegoKalkulator HiperboliKalkulator ParaboliKalkulator Rozwinięcia DwumianowegoGenerator Trójkąta PascalaKalkulator Notacji Iloczynowej (Notacja Pi)Kalkulator Notacji Sigma (Sumowanie)Kalkulator Twierdzenia o Pierwiastkach WymiernychKalkulator Reguły Znaków KartezjuszaKalkulator Linii Równoległych i ProstopadłychKalkulator Równania ProstejKonwerter Postaci Ogólnej na KierunkowąKalkulator Formy Punkt-NachylenieRozwiązywacz Układu Równań NieliniowychRozwiązywanie Równań WymiernychRozwiązywanie Równań LiterowychRozwiązywacz Równań TrygonometrycznychRozwiązywanie Równań WykładniczychKalkulator Równań LogarytmicznychKalkulator Równania Czwartego StopniaKalkulator Równania SześciennegoKalkulator SzacowaniaKonwerter Liczby na UłamekGenerator Liczenia ze SkokiemKalkulator Ceny JednostkowejKalkulator Funkcji Sufitu i PodłogiKalkulator Wartości BezwzględnejWyszukiwarka Wzorców LiczbowychGenerator Wykresu Wartości PozycyjnejKalkulator Kolejności Działań PEMDASKalkulator Dodawania i Odejmowania PisemnegoKalkulator Mnożenia PisemnegoGenerator Tabliczki Mnożenia🎮 Konwerter Waluty Gry🎲 Kalkulator Prawdopodobieństwa Dropu🎰 Kalkulator Pity Gacha⚔️ Kalkulator DPS🎮 Konwerter Czułości Gier❄️ Kalkulator Dnia Śnieżnego🚚 Kalkulator Kosztów Przeprowadzki🔍 Sprawdzacz Plagiatu📷 OCR / Obraz na Tekst📈 Kreator Wykresów Liniowych🥧 Kreator Wykresów Kołowych📊 Kreator Wykresów Słupkowych🔊 Generator Tonów🖱️ Licznik Kliknięć⬛ Kalkulator Proporcji Ekranu🌍 Kalkulator Śladu Węglowego👙 Kalkulator Rozmiaru BiustonoszaKalkulator Rozmiaru OponKalkulator Kosztów Paliwa💧 Kalkulator Punktu Rosy🌡️ Kalkulator Indeksu Cieplnego🌬️ Kalkulator Odczuwalnej Temperatury Wiatru⏰ Budzik Online⏰ Kalkulator Karty Czasu Pracy📅 Kalkulator Różnicy Dat🕐 Konwerter Czasu Wojskowego⏱️ Stoper Online⏱️ Timer Odliczania🌐 Konwerter Stref CzasowychKalkulator DywanówKalkulator Muru OporowegoKalkulator Doboru HVACKalkulator IzolacjiKalkulator Kostki BrukowejKalkulator ZbrojeniaKalkulator DrewnaKalkulator PowierzchniKalkulator Mnożenia KrzyżowegoKalkulator Podsumowania Pięciu LiczbKalkulator PercentylaKalkulator Rozkładu NormalnegoKalkulator Wartości pKalkulator ProporcjiKalkulator Uzupełniania KwadratuKalkulator ZaokrąglaniaKalkulator Dzielenia PisemnegoKalkulator NaukowyMinutnik Pomodoro do naukiKalkulator Cyfr ZnaczącychKalkulator Wyników TestuKalkulator Ocen WażonychKalkulator Oceny KońcowejKalkulator OcenKalkulator częstotliwości rezonansowejKalkulator impedancjiKalkulator Współczynnika MocyKalkulator stałej czasowej RCKalkulator przekroju przewoduKalkulator Timera 555Kalkulator KondensatoraKalkulator Rezystancji RównoległejKalkulator Dzielnika NapięciaKalkulator Rezystora LEDKonwerter Mol/Gram/CząstkaKalkulator MiareczkowaniaKalkulator Temperatury WrzeniaKalkulator Wzoru EmpirycznegoKalkulator Wydajności ProcentowejKalkulator StechiometriiBilansowanie Równań ChemicznychKalkulator RozcieńczaniaKalkulator Koni MechanicznychKalkulator Momentu ObrotowegoKalkulator swobodnego spadkuKalkulator równania stanu gazu doskonałegoKalkulator CiśnieniaKalkulator GęstościKalkulator Pracy i MocyKalkulator Energii PotencjalnejKalkulator Energii KinetycznejKalkulator Ruchu PociskuKalkulator PęduKalkulator PrędkościKalkulator PrzyspieszeniaKalkulator SiłyKalkulator ROI InfluenceraKalkulator ROASKalkulator CTRSprawdzacz Nazwy Użytkownika w Mediach SpołecznościowychOptymalizator Czasu Publikacji w Mediach SpołecznościowychKalkulator ROI Mediów SpołecznościowychKalkulator Kosztów Reklam na FacebookuKalkulator Monetyzacji YouTube ShortsKalkulator Zarobków na TwitchKalkulator Czasu Oglądania YouTubeKonwerter Znacznika Czasu Twitter/XKalkulator Zarobków na TikTokuPrzewodnik po Rozmiarach Obrazów w Mediach SpołecznościowychGenerator Czcionek na InstagramLicznik Znaków Twitter/XLosowanie komentarzy YouTubeEkstraktor tagów YouTubePobieracz Miniatur YouTubeLosowy Generator Postaci RPG