Nasz kalkulator algebry Boole'a obsługuje wszystkie operacje logiki cyfrowej i algebry Boole'a w jednym miejscu. Wpisz dowolne wyrażenie logiczne za pomocą standardowych operatorów — AND, OR, NOT, XOR, NAND, NOR, XNOR — i natychmiast uzyskaj tabelę prawdy, mintermy, makstermy, kanoniczne postacie SOP i POS oraz zminimalizowane wyrażenie za pomocą algorytmu Quine'a-McCluskeya. Wizualizator mapy Karnaugh podświetla komórki będące mintermami, co ułatwia identyfikację grup i uproszczeń.
Operators: * or AND = AND | + or OR = OR | ' or ! = NOT | ^ or XOR = XOR | NAND, NOR, XNOR
Click to toggle minterms
Minimal SOP (Simplified)
—
Minterms Σm(…)
—
Maxterms ΠM(…)
—
Canonical SOP
—
Canonical POS
—
format_list_numbered Steps
Truth Table
Karnaugh Map
Wpisz swoje wyrażenie logiczne za pomocą * (AND), + (OR), ' lub ! (NOT), ^ (XOR). Zmiennymi są pojedyncze litery A-Z.
Tabela prawdy jest generowana automatycznie dla wszystkich kombinacji zmiennych (do 4 zmiennych = 16 wierszy)
Mapa Karnaugh wyróżnia mintermy (jedynki), co ułatwia zauważenie grup w celu uproszczenia
Zobacz minimalne wyrażenie SOP z algorytmu Quine'a-McCluskeya wraz z kanonicznymi postaciami SOP/POS
Funkcja logiczna jest w pełni zdefiniowana przez swoją tabelę prawdy. Postać kanoniczna SOP: suma (OR) wszystkich mintermów (wierszy, w których wyjście = 1). Postać kanoniczna POS: iloczyn (AND) wszystkich makstermów (wierszy, w których wyjście = 0). Algorytm Quine'a-McCluskeya minimalizuje SOP poprzez grupowanie mintermów różniących się jedną zmienną.
F = Σm(minterms) = Πm(maxterms)
Użyj * lub · dla AND, + dla OR, ' lub ! dla NOT, ^ dla XOR
Prawo dopełnienia: A + A' = 1, A · A' = 0 — użyj tego, aby wyeliminować zmienne
Prawa De Morgana: (A·B)' = A'+B' oraz (A+B)' = A'·B'
Prawo pochłaniania: A + A·B = A oraz A·(A+B) = A
Grupuj mintermy w potęgach liczby 2 (1, 2, 4, 8) na mapie Karnaugh, aby uzyskać minimalną postać SOP
NAND i NOR to bramki uniwersalne — każdą funkcję logiczną można zbudować wyłącznie z bramek NAND
Algebra logiczna to matematyczny fundament elektroniki cyfrowej, informatyki i projektowania układów logicznych. Każdy procesor, układ pamięci i programowalne urządzenie logiczne opiera się na operacjach logicznych — AND, OR, NOT, XOR, NAND, NOR — do przetwarzania danych binarnych. Inżynierowie i studenci informatyki regularnie muszą upraszczać wyrażenia logiczne, aby zminimalizować liczbę bramek, zmniejszyć złożoność obwodów i zoptymalizować pobór mocy. Pojedyncza funkcja z 4 zmiennymi może mieć do 16 wierszy w tabeli prawdy i dziesiątki możliwych uprosczeń. Ręczne upraszczanie przy użyciu twierdzeń De Morgana, prawa konsensusu i praw pochłaniania jest nużące i podatne na błędy, zwłaszcza w warunkach egzaminacyjnych. Ten kalkulator algebry logicznej automatyzuje cały proces: wpisz dowolne wyrażenie z maksymalnie czterema zmiennymi, a narzędzie natychmiast wygeneruje pełną tabelę prawdy, zidentyfikuje wszystkie mintermy i maksterny, utworzy kanoniczne postacie Sumy Iloczynów (SOP) i Iloczynu Sum (POS), zastosuje algorytm Quine'a-McCluskeya w celu uzyskania gwarantowanych minimalnych wyrażeń oraz wyświetli oznaczoną kolorem mapę Karnaugh do weryfikacji wizualnej. Niezależnie od tego, czy projektujesz logikę kombinacyjną dla układu FPGA, sprawdzasz zadania domowe, czy przygotowujesz się do egzaminu z logiki cyfrowej, to narzędzie zastępuje godziny pracy ręcznej dokładnymi wynikami krok po kroku.
Kalkulator algebry logicznej oblicza i upraszcza wyrażenia logiczne przy użyciu zasad algebry boole'owskiej.
Generuje tabele prawdy pokazujące każdą kombinację wejścia/wyjścia, identyfikuje mintermy i maksterny oraz stosuje algorytmy minimalizacji, takie jak Quine-McCluskey, aby znaleźć najprostsze równoważne wyrażenie.
Ten kalkulator akceptuje wiele stylów zapisów:
Zmienny to pojedyncze litery od A do D. Do grupowania obsługiwane są nawiasy.
Przykłady: A*B+C', (A OR B) AND NOT C, A NAND B.
Aby uprościć wyrażenie logiczne, zastosuj prawa algebry rządzące logiką binarną, dopóki dalsza redukcja nie będzie możliwa.
Rozpocznij od praw tożsamości i dopełnienia (A + A' = 1, A · A' = 0), następnie użyj praw pochłaniania (A + A·B = A) i rozdzielności, aby wyłączyć wspólne zmienne przed nawias. Twierdzenia De Morgana przekształcają dopełnione grupy, a twierdzenie o konsensusie usuwa zbędne człony. Aby uzyskać systematyczny wynik, wypisz mintermy i połącz te, które różnią się o jeden bit.
Zgodnie z tym, co George Boole przedstawił w swojej pracy z 1854 roku (według Encyclopaedia Britannica), prawa te tworzą zamkniętą alębrę, w której każde wyrażenie można sprowadzić do postaci minimalnej (nie zawsze unikalnej). Ten kalkulator pokazuje każdą regułę zastosowaną w odpowiedniej kolejności.
Tabela prawdy przedstawia każdą możliwą kombinację zmiennych wejściowych i wynikowe wyjście, zapewniając pełną definicję funkcji logicznej.
Dla n zmiennych istnieje 2^n wierszy, więc dwie zmienne dają 4 wiersze, a cztery zmienne dają 16 wierszy; z kolei liczba zmiennych odpowiada logarytmowi przy podstawie 2 z liczby wierszy, co nasz kalkulator logarytmów potrafi obliczyć dla większych funkcji. Uporządkuj wejścia w standardowej binarnej sekwencji liczenia (00, 01, 10, 11) i oblicz wyrażenie dla każdego wiersza.
Zgodnie ze standardem IEEE dla operacji logicznych, kolumna wyjściowa w pełni charakteryzuje funkcję niezależnie od tego, jak zapisane jest wyrażenie. To narzędzie automatycznie generuje tabelę prawdy, a następnie wyprowadza mintermy (wiersze równe 1) i maksterny (wiersze równe 0) bezpośrednio z niej.
Suma produktów (SOP) wyraża funkcję logiczną jako sumę (OR) członów iloczynowych (AND), przy czym każdy minterm odpowiada jednemu wierszowi, w którym wyjście wynosi 1. Iloczyn sum (POS) to forma dualna: iloczyn (AND) członów sumarycznych (OR), gdzie każdy maksterm odpowiada jednemu wierszowi o wyjściu równym 0.
Obie formy są postaciami kanonicznymi opisującymi tę samą funkcję i każdą z nich można uprościć. Podręczniki projektowania cyfrowego, na które powołują się m.in. materiały All About Circuits, zauważają, że SOP naturalnie odwzorowuje się na dwupoziomowe sieci bramek AND-OR, podczas gdy POS odpowiada sieciom OR-AND.
Wybierz tę opcję, która zapewnia mniejszą liczbę bramek dla Twojego układu. Kalkulator wyświetla obie postacie kanoniczne oraz zminimalizowaną postać SOP do porównania.
Mapa Karnaugh to siatka organizująca wyjścia tabeli prawdy w taki sposób, że fizycznie sąsiadujące komórki różnią się dokładnie jedną zmienną, z wykorzystaniem porządku kodu Graya (00, 01, 11, 10).
Ta właściwość sąsiedztwa pozwala na wizualne grupowanie jedynek w prostokątne bloki o rozmiarach będących potęgami dwójki (1, 2, 4, 8) w celu wyeliminowania zmiennych i odczytania minimalnej postaci SOP.
Nazwane na cześć Maurice'a Karnaugha, który opublikował tę metodę w 1953 roku, mapy K są praktyczne do czterech lub pięciu zmiennych, zanim sąsiedztwo stanie się zbyt trudne do śledzenia. Ten kalkulator generuje oznaczoną kolorami mapę, która podświetla każdy minterm, dzięki czemu możesz zweryfikować wynik algorytmiczny gołym okiem.
Metoda Quine'a-McCluskeya to procedura tabelaryczna gwarantująca uzyskanie minimalnej Sumy Produktów (SOP), co czyni ją bardziej niezawodną niż mapy Karnaugh dla funkcji z wieloma zmiennymi.
Wypisuje ona każdy minterm w postaci binarnej, grupuje je według liczby bitów o wartości 1, a następnie wielokrotnie łączy termy różniące się tylko jednym bitem, oznaczając wyeliminowaną pozycję kreską. Termy, których nie da się już dalej połączyć, to implikanty proste. Następnie tabela implikantów prostych wybiera najmniejszy zestaw istotnych implikantów prostych pokrywających wszystkie mintermy.
Ponieważ ma charakter algorytmiczny, skaluje się tam, gdzie metody wizualne zawodzą, dlatego stanowi fundament wielu zautomatyzowanych narzędzi syntezy logiki stosowanych w nowoczesnych przepływach projektowych EDA.
Twierdzenia De Morgana mówią, że (A·B)' = A' + B' oraz (A+B)' = A'·B' — negacja grupy odwraca operator i inwersję każdej zmiennej. Prawa te stanowią podstawę konwersji dowolnego układu do postaci składającej się wyłącznie z bramek NAND lub wyłącznie z NOR.
Bramki NAND i NOR nazywane są bramkami uniwersalnymi, ponieważ każdą funkcję logiczną można zbudować wyłącznie przy ich użyciu. Jest to właściwość powszechnie wykorzystywana w produkcji układów scalonych w celu ograniczenia liczby typów tranzystorów. Jak zauważają standardowe źródła logiki cyfrowej, ta uniwersalność upraszcza produkcję i testowanie.
Kalkulator stosuje prawa De Morgana automatycznie po wprowadzeniu operatorów NAND, NOR lub XNOR, pokazując równoważne rozwinięcie za pomocą AND/OR/NOT.
Algebra Boole'a znajduje zastosowanie daleko wykraczające poza podręczniki. Inżynierowie sprzętowcy stosują ją do minimalizowania liczby bramek w logice kombinacyjnej dla procesorów, układów FPGA i ASIC, co bezpośrednio zmniejsza pobór mocy i powierzchnię układu.
Programisty używają tych samych praw do upraszczania instrukcji warunkowych, optymalizacji logiki gałęzi kompilatora i pisania czytelniejszych warunków if. Inżynierowie baz danych przekształcają filtry zapytań w predykaty logiczne, a wyszukiwarki oceniają operatory AND/OR/NOT w ten sam sposób.
Zgodnie z programami nauczania informatyki podsumowanymi przez Khan Academy, logika booleanowska stanowi fundament przetwarzania wszelkich informacji cyfrowych. Ten kalkulator obsługuje do czterech zmiennych, co pokrywa zdecydowaną większość zadań egzaminacyjnych z logiki kombinacyjnej oraz codziennych zadań upraszczania.
Upraszczanie wyrażeń logicznych prowokuje kilka częstych błędów:
Zawsze weryfikuj uproszczony wynik z oryginalną tabelą prawdy, co kalkulator robi automatycznie, aby wychwycić te błędy.
Gdy wyrażenie miesza operatory bez pełnych nawiasów, algebra Boole'a wykonuje obliczenia w kolejności: najpierw NOT, potem AND, a na końcu OR, co odzwierciedla to, jak mnożenie poprzedza dodawanie w zwykłej arytmetyce.
Zatem A + B·C oznacza A OR (B AND C), a A·B' oznacza A AND (NOT B), a nie (A AND B)'. Operacja XOR jest zazwyczaj traktowana na tym samym poziomie co AND lub niższym, dlatego zaleca się stosowanie nawiasów zawsze wtedy, gdy XOR jest łączony z innymi operatorami, aby uniknąć niejednoznaczności.
Ten priorytet jest zgodny z konwencjami stosowanymi w literaturze logiki cyfrowej oraz notacji IEEE. Dla pewności otaczaj nawiasami każde podwyrażenie, którego kolejność grupowania jest dla Ciebie ważna; kalkulator zawsze traktuje jawne nawiasy priorytetowo względem domyślnej kolejności.
Data sourced from trusted institutions
All formulas verified against official standards.