Naše kalkulačka Booleovy algebry zvládne všechny operace digitální logiky a Booleovy algebry na jednom místě. Zadejte jakýkoli booleovský výraz pomocí standardních operátorů — AND, OR, NOT, XOR, NAND, NOR, XNOR — a okamžitě získejte pravdivostní tabulku, mintermy, makstermy, kanonické tvary SOP a POS a zjednodušený výraz pomocí Quineova-McCluskeyho algoritmu. Vizualizace Karnaughovy mapy zvýrazňuje buňky s mintermy, což usnadňuje identifikaci skupin a zjednodušování.
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
Zadejte svůj booleovský výraz pomocí * (AND), + (OR), ' nebo ! (NOT), ^ (XOR). Proměnné jsou jednotlivá písmena A-Z.
Pravdivostní tabulka se generuje automaticky pro všechny kombinace proměnných (až 4 proměnné = 16 řádků)
Karnaughova mapa zvýrazňuje mintermy (1) a usnadňuje tak vyhledávání skupin pro zjednodušení
Zobrazte si minimální výraz SOP z Quine-McCluskeyho algoritmu spolu s kanonickými tvary SOP/POS
Booleovská funkce je plně definována svou pravdivostní tabulkou. Kanonický tvar SOP: logický součet (OR) všech mintermů (řádky, kde je výstup = 1). Kanonický tvar POS: logický součin (AND) všech makstermů (řádky, kde je výstup = 0). Quine-McCluskeyho algoritmus minimalizuje SOP seskupováním mintermů, které se liší v jedné proměnné.
F = Σm(minterms) = Πm(maxterms)
Použijte * nebo · pro AND, + pro OR, ' nebo ! pro NOT, ^ pro XOR
Zákon o doplňku (komplementu): A + A' = 1, A · A' = 0 — použijte jej k odstranění proměnných
De Morganovy zákony: (A·B)' = A'+B' a (A+B)' = A'·B'
Zákon absorpce: A + A·B = A a A·(A+B) = A
Sdružujte mintermy po mocninách 2 (1, 2, 4, 8) v Karnaughově mapě pro minimální tvar SOP
NAND a NOR jsou univerzální hradla — jakoukoli booleovskou funkci lze sestavit pouze z hradel NAND
Booleova algebra je matematickým základem číslicové elektroniky, informatiky a návrhu logických obvodů. Každý procesor, paměťový čip i programovatelný logický obvod spoléhá při zpracování binárních dat na booleovské operace — AND, OR, NOT, XOR, NAND, NOR. Inženýři a studenti informatiky běžně potřebují zjednodušovat booleovské výrazy, aby minimalizovali počet hradel, snížili složitost obvodu a optimalizovali spotřebu energie. Funkce se 4 proměnnými může mít ve své pravdivostní tabulce až 16 řádků a desítky možných zjednodušení. Ruční zjednodušování pomocí De Morganových zákonů, zákona konsensu a zákonů absorbce je zdlouhavé a náchylné k chybám, zejména při zkouškách. Tato kalkulačka booleovy algebry automatizuje celý postup: zadejte libovolný výraz až se čtyřmi proměnnými a okamžitě získáte kompletní pravdivostní tabulku, identifikované mintermy a makstermy, kanonické tvary SOP (součet součinů) a POS (součin součtů), výstup z Quine-McCluskeyho algoritmu pro zaručeně minimální výraz a barevně odlišenou Karnaughovu mapu pro vizuální kontrolu. Ať už navrhujete kombinační logiku pro FPGA, kontrolujete domácí úkoly nebo se připravujete na zkoušku z číslicové techniky, tento nástroj nahradí hodiny ruční práce přesnými výsledky krok za krokem.
Kalkulačka booleovy algebry vyhodnocuje a zjednodušuje logické výrazy pomocí pravidel booleovy algebry.
Generuje pravdivostní tabulky zobrazující všechny kombinace vstupů a výstupů, identifikuje mintermy a makstermy a aplikuje minimalizační algoritmy, jako je Quine-McCluskey, k nalezení nejjednoduššího ekvivalentního výrazu.
Tato kalkulačka podporuje několik stylů notace:
Proměnné jsou jednotlivá písmena A až D. Pro seskupování jsou podporovány závorky.
Příklady: A*B+C', (A OR B) AND NOT C, A NAND B.
Při zjednodušování booleovského výrazu aplikujte algebraické zákony binární logiky, dokud není možné další zjednodušení.
Začněte zákony identity a komplementu (A + A' = 1, A · A' = 0), poté použijte absorpci (A + A·B = A) a distributivitu k vytknutí společných proměnných. De Morganovy zákony převádějí negované skupiny a zákon konsensu odstraňuje nadbytečné členy. Pro systematický výsledek vypište mintermy a spojte ty, které se liší o jeden bit.
Jak popsal George Boole ve svém díle z roku 1854 (podle Encyclopaedia Britannica), tyto zákony tvoří uzavřenou algebru, ve které lze každý výraz redukovat na minimální tvar (který nemusí být vždy jediný). Tato kalkulačka zobrazuje jednotlivá pravidla aplikovaná postupně za sebou.
Pravdivostní tabulka uvádí všechny možné kombinace vstupních proměnných a odpovídající výstup, čímž poskytuje úplnou definici booleovské funkce.
Pro n proměnných existuje 2^n řádků, takže dvě proměnné dávají 4 řádky a čtyři proměnné 16 řádků; naopak počet proměnných odpovídá binárnímu logaritmu počtu řádků. Uspořádejte vstupy v běžném binárním pořadí (00, 01, 10, 11) a vyhodnoťte výraz pro každý řádek.
Podle standardu IEEE pro logické operace výstupní sloupec plně charakterizuje funkci bez ohledu na to, jak je výraz zapsán. Tento nástroj automaticky vygeneruje pravdivostní tabulku a přímo z ní odvodí mintermy (řádky rovné 1) a makstermy (řádky rovné 0).
Součtový tvar (SOP – Sum of Products) vyjadřuje boolovskou funkci jako součet (OR) součinů (AND), kde pro každý řádek s výstupem rovným 1 platí jeden minterm. Součinový tvar (POS – Product of Sums) je k němu duální: jde o součin (AND) součtů (OR), s jedním maxtermem pro každý řádek s výstupem rovným 0.
Oba jsou kanonické tvary popisující stejnou funkci a oba lze minimalizovat. Učebnice číslicového návrhu, jako jsou ty zmíněné na portálu All About Circuits, uvádějí, že SOP se přirozeně mapuje na dvouúrovňové sítě hradel AND-OR, zatímco POS se mapuje na sítě OR-AND.
Zvolte si tvar, který pro váš obvod vyžaduje méně hradel. Kalkulačka zobrazuje oba kanonické tvary i minimalizovaný SOP pro srovnání.
Karnaughova mapa je mřížka, která uspořádává výstupy pravdivostní tabulky tak, aby se fyzicky sousedící buňky lišily právě v jedné proměnné s využitím Grayova kódu (00, 01, 11, 10).
Tato sousednost umožňuje vizuálně sdružovat jednotky do obdélníkových bloků o velikosti mocnin dvě (1, 2, 4, 8), čímž eliminujete proměnné a získáte minimální SOP.
K-mapy, pojmenované po Maurici Karnaughovi, který tuto techniku publikoval v roce 1953, jsou praktické pro maximálně čtyři až pět proměnných, než se v sousednostech začne těžko orientovat. Tato kalkulačka zobrazuje barevně rozlišenou mapu se zvýrazněnými mintermy, takže si algoritmický výsledek můžete snadno ověřit okem.
Metoda Quine-McCluskey je tabulkový postup, který zaručuje získání minimálního součtového tvaru (SOP), díky čemuž je u funkcí s mnoha proměnnými spolehlivější než Karnaughovy mapy.
Vypíše každý minterm v binární podobě, rozděluje je do skupin podle počtu jedničkových bitů a poté opakovaně slučuje členy, které se liší v jediném bitu, přičemž eliminovanou pozici označuje pomlčkou. Členy, které již nelze dále slučovat, jsou primární implikanty. Tabulka primárních implikantů pak vybere nejmenší množinu esenciálních primárních implikantů pokrývajících všechny mintermy.
Díky svému algoritmickému charakteru funguje i tam, kde vizuální metody selhávají. Proto tvoří základ mnoha nástrojů pro automatizovanou syntézu logiky v moderních vývojových prostředích EDA.
De Morganovy zákony říkají, že (A·B)' = A' + B' a (A+B)' = A'·B' – negace celé skupiny změní operátor na opačný a invertuje jednotlivé proměnné. Tyto zákony tvoří základ pro převod jakéhokoli obvodu do podoby využívající výhradně hradla NAND nebo NOR.
NAND a NOR se nazývají univerzální hradla, protože libovolnou boolovskou funkci lze sestavit pouze z nich. Tato vlastnost se hojně využívá při výrobě čipů ke snížení počtu typů tranzistorů. Jak uvádí standardní literatura o číslicové logice, tato univerzálnost výrazně zjednodušuje výrobu i testování.
Kalkulačka aplikuje De Morganovy zákony automaticky, jakmile zadáte operátory NAND, NOR nebo XNOR, a zobrazí odpovídající rozvoj pomocí AND/OR/NOT.
Boolovská algebra nachází uplatnění daleko za hranicemi učebnic. Hardware inženýři ji využívají k minimalizaci počtu hradel v kombinační logice procesorů, FPGA a ASIC obvodů, čímž přímo snižují spotřebu energie a plochu čipu.
Vývojáři softwaru používají stejné zákony ke zjednodušení podmíněných příkazů, optimalizaci věvení v kompilátorech a psaní přehlednějších podmínek. Databázoví inženýři převádějí filtry dotazů na boolovské predikáty a vyhledávače vyhodnocují operátory AND/OR/NOT úplně stejně.
Podle učebních osnov informatiky shrnutých na Khan Academy je boolovská logika základním kamenem zpracování veškerých digitálních informací. Tato kalkulačka podporuje až čtyři proměnné, což pokrývá převážnou většinu zkouškových příkladů z kombinační logiky i běžných úloh z praxe.
Při zjednodušování boolovských výrazů se často stávají tyto typické chyby:
Výsledek si vždy ověřte porovnáním s původní pravdivostní tabulkou – tato kalkulačka to dělá automaticky, aby případné chyby odhalila.
Pokud výraz kombinuje různé operátory bez kompletního ozávorkování, vyhodnocuje boolovská algebra nejprve NOT, poté AND a nakonec OR, což odpovídá přednosti násobení před sčítáním v běžné matematice.
Výraz A + B·C tedy znamená A OR (B AND C) a A·B' znamená A AND (NOT B), nikoli (A AND B)'. Operátor XOR má obvykle stejnou prioritu jako AND nebo nižší, proto se při jeho kombinaci s jinými operátory doporučuje používat závorky, aby nedošlo k nejasnostem.
Tato priorita odpovídá konvencím používaným v literatuře o číslicové logice i v notaci IEEE. Pro jistotu raději každý podvýraz ozávorkujte; kalkulačka vždy upřednostňuje explicitní závorky před výchozí prioritou.
Data sourced from trusted institutions
All formulas verified against official standards.