Calculatorul nostru de algebră booleană gestionează toate operațiunile de logică digitală și algebră booleană într-un singur loc. Introdu orice expresie booleană folosind operatori standard — AND, OR, NOT, XOR, NAND, NOR, XNOR — și obține instantaneu tabelul de adevăr, mintermenii, maxtermenii, formele canonice SOP și POS, precum și o expresie minimizată folosind algoritmul Quine-McCluskey. Vizualizatorul diagramei Karnaugh evidențiază celulele care sunt mintermeni, facilitând identificarea grupărilor și a simplificărilor.
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
Tastează expresia booleană folosind * (AND), + (OR), ' sau ! (NOT), ^ (XOR). Variabilele sunt litere simple A-Z.
Tabelul de adevăr este generat automat pentru toate combinațiile de variabile (până la 4 variabile = 16 rânduri)
Harta Karnaugh evidențiază mintermenii (1), facilitând identificarea grupărilor pentru simplificare
Vezi expresia SOP minimală de la algoritmul Quine-McCluskey împreună cu formele canonice SOP/POS
O funcție booleană este definită pe deplin de tabelul său de adevăr. Forma canonică SOP: SAU din toți mintermenii (rânduri unde ieșirea = 1). Forma canonică POS: ȘI din toți maxtermenii (rânduri unde ieșirea = 0). Algoritmul Quine-McCluskey minimizează SOP grupând mintermenii care diferă printr-o singură variabilă.
F = Σm(minterms) = Πm(maxterms)
Folosește * sau · pentru AND, + pentru OR, ' sau ! pentru NOT, ^ pentru XOR
Legea complementului: A + A' = 1, A · A' = 0 — folosește-o pentru a elimina variabilele
Teorema lui De Morgan: (A·B)' = A'+B' și (A+B)' = A'·B'
Absorbția: A + A·B = A și A·(A+B) = A
Grupează mintermenii în puteri ale lui 2 (1, 2, 4, 8) pe diagrama Karnaugh pentru SOP minim
NAND și NOR sunt porți universale — orice funcție booleană poate fi construită doar din NAND
Algebra booleană este fundamentul matematic al electronicii digitale, informaticii și proiectării circuitelor logice. Fiecare procesor, cip de memorie și dispozitiv logic programabil se bazează pe operații booleene — AND, OR, NOT, XOR, NAND, NOR — pentru a procesa date binare. Inginerii și studenții la informatică trebuie în mod regulat să simplifice expresiile booleene pentru a minimiza numărul de porți, a reduce complexitatea circuitului și a optimiza consumul de energie. O singură funcție cu 4 variabile poate avea până la 16 rânduri în tabelul său de adevăr și zeci de simplificări posibile. Simplificarea manuală folosind teoremele lui De Morgan, consensul și legile absorbției este plictisitoare și predispusă la erori, în special în condițiile unui examen. Acest calculator de algebră booleană automatizează întregul flux de lucru: introdu orice expresie cu până la patru variabile și produce instantaneu tabelul de adevăr complet, identifică toți mintermenii și maxtermenii, generează formele canonice Sum-of-Products (SOP) și Product-of-Sums (POS), aplică algoritmul Quine-McCluskey pentru expresii minimale garantate și afișează o hartă Karnaugh codificată în culori pentru verificare vizuală. Indiferent dacă proiectezi logică combinațională pentru un FPGA, verificei teme pentru acasă sau te pregătești pentru un examen de logică digitală, acest instrument înlocuiește ore de muncă manuală cu rezultate precise, pas cu pas.
Un calculator de algebră booleană evaluează și simplifică expresii logice folosind regulile algebrei booleene.
Generează tabele de adevăr care arată fiecare combinație intrare/ieșire, identifică mintermeni și maxtermeni și aplică algoritmi de minimizare precum Quine-McCluskey pentru a găsi cea mai simplă expresie echivalentă.
Acest calculator acceptă mai multe stiluri de notație:
Variabilele sunt litere simple de la A la D. Parantezele sunt acceptate pentru grupare.
Exemple: A*B+C', (A OR B) AND NOT C, A NAND B.
Pentru a simplifica o expresie booleană, aplică legile algebrice care guvernează logica binară până când nicio reducere ulterioară nu mai este posibilă.
Începe cu legile identității și complementului (A + A' = 1, A · A' = 0), apoi folosește absorbția (A + A·B = A) și distribuția pentru a factoriza variabile comune. Teoremele lui De Morgan convertesc grupurile complementate, iar teorema consensului elimină termenii redundanți. Pentru un rezultat sistematic, listează mintermenii și combină-i pe cei care diferă printr-un bit.
Așa cum a introdus George Boole în lucrarea sa din 1854, conform Enciclopediei Britannica, aceste legi formează o algebră închisă unde fiecare expresie poate fi redusă la o formă minimală (nu întotdeauna unică). Acest calculator arată fiecare regulă aplicată în ordine.
Un tabel de adevăr listează fiecare combinație posibilă de variabile de intrare și ieșirea rezultată, oferind o definiție completă a unei funcții booleene.
Pentru n variabile există 2^n rânduri, deci două variabile produc 4 rânduri și patru variabile produc 16 rânduri; în mod invers, numărul de variabile este egal cu logaritmul în baza 2 al numărului de rânduri, pe care calculatorul nostru de logaritmi îl poate evalua pentru funcții mai mari. Ordonează intrările în secvența standard de numărare binară (00, 01, 10, 11) și evaluează expresia pentru fiecare rând.
Conform standardului IEEE pentru operații logice, coloana de ieșire caracterizează complet funcția indiferent de modul în care este scrisă expresia. Acest instrument generează automat tabelul de adevăr, apoi derivă mintermeni (rânduri egale cu 1) și maxtermeni (rânduri egale cu 0) direct din acesta.
Suma produselor (SOP) exprimă o funcție booleană ca un SAU de termeni ȘI, câte un mintermen pentru fiecare rând în care ieșirea este egală cu 1. Produsul sumelor (POS) este dualul: un ȘI de termeni SAU, câte un maxtermen pentru fiecare rând în care ieșirea este egală cu 0.
Ambele sunt forme canonice care descriu aceeași funcție și oricare dintre ele poate fi minimizată. Manualele de proiectare digitală, cum sunt cele referite de All About Circuits, notează că SOP se mapează natural la rețele de porți ȘI-SAU pe două niveluri, în timp ce POS se mapează la rețele SAU-ȘI.
Alege varianta care generează mai puține porți pentru circuitul tău. Calculatorul afișează ambele forme canonice plus SOP-ul minimizat pentru comparație.
O hartă Karnaugh este o grilă care aranjează ieșirile tabelului de adevăr astfel încât celulele fizice adiacente să difere prin exact o variabilă, folosind ordonarea codului Gray (00, 01, 11, 10).
Această adiacență îți permite să grupezi vizual valorile de 1 în blocuri dreptunghiulare de puteri ale lui doi (1, 2, 4, 8) pentru a elimina variabilele și a citi un SOP minimal.
Numite după Maurice Karnaugh, care a publicat tehnica în 1953, hărțile K sunt practice pentru cel mult patru sau cinci variabile, înainte ca adiacența să devină greu de urmărit. Acest calculator generează o hartă codificată în culori care evidențiază fiecare mintermen, astfel încât să poți confirma vizual rezultatul algoritmic.
Metoda Quine-McCluskey este o procedură tabelară care garantează o sumă a produselor minimală, făcând-o mai fiabilă decât hărțile Karnaugh pentru funcții cu multe variabile.
Ea listează fiecare mintermen în binar, îi grupează după numărul de biți de 1, apoi combină în mod repetat termenii care diferă printr-un singur bit, marcând poziția eliminată cu o liniuță. Termenii care nu se mai pot combina sunt implicanți primi. O diagramă a implicanților primi selectează apoi cel mai mic set de implicanți primi esențiali care acoperă toți mintermenii.
Deoarece este algoritmică, se scalează acolo unde metodele vizuale eșuează, motiv pentru care stă la baza multor instrumente automate de sinteză logică utilizate în fluxurile EDA moderne.
Teoremele lui De Morgan afirmă că (A·B)' = A' + B' și (A+B)' = A'·B' — complementarea unui grup inversează operatorul și fiecare variabilă. Aceste legi stau la baza conversiei oricărui circuit în forma exclusiv NAND sau exclusiv NOR.
NAND și NOR sunt numite porți universale deoarece orice funcție booleană poate fi construită în întregime dintr-una sau alta dintre ele, proprietate utilizată pe scară largă în fabricarea cipurilor pentru a reduce numărul de tipuri de tranzistoare. După cum notează referințele standard de logică digitală, această universalitate simplifică fabricarea și testarea.
Calculatorul aplică legile lui De Morgan automat atunci când introduci operatori NAND, NOR sau XNOR, arătând expansiunea echivalentă ȘI/SAU/NU.
Algebra booleană este folosită mult dincolo de manuale. Inginerii hardware o aplică pentru a minimiza numărul de porți în logica combințională pentru procesoare, FPGA-uri și ASIC-uri, reducând direct consumul de energie și suprafața cipului.
Dezvoltatorii de software folosesc aceleași legi pentru a simplifica instrucțiunile condiționale, pentru a optimiza logica de ramificare a compilatoarelor și pentru a scrie condiții if mai clare. Inginerii de baze de date traduc filtrele de interogare în predicate booleene, iar motoarele de căutare evaluează operatorii ȘI/SAU/NU în același mod.
Conform programei de informatică rezumate de Khan Academy, logica booleană este fundamentală pentru modul în care este procesată toată informația digitală. Acest calculator suportă până la patru variabile, acoperind marea majoritate a problemelor de examen de logică combințională și sarcinilor de simplificare de zi cu zi.
Simplificarea expresiilor booleene atrage după sine mai multe greșeli frecvente:
Verifică întotdeauna rezultatul simplificat în raport cu tabelul de adevăr original, lucru pe care acest calculator îl face automat pentru a depista aceste greșeli.
Când o expresie amestecă operatori fără paranteze complete, algebra booleană evaluează mai întâi NU, apoi ȘI, apoi SAU, oglindind modul în care înmulțirea precedă adunarea în aritmetica obișnuită.
Deci A + B·C înseamnă A SAU (B ȘI C), iar A·B' înseamnă A ȘI (NU B), nu (A ȘI B)'. XOR este tratat de obicei la același nivel cu ȘI sau mai jos, așa că se recomandă paranteze ori de câte ori XOR este combinat cu alți operatori pentru a evita ambiguitatea.
Această prioritate urmează convențiile utilizate în referințele de logică digitală și notația IEEE. Pentru siguranță, pune în paranteze orice subexpresie a cărei grupare te interesează; calculatorul respectă parantezele explicite în detrimentul priorității implicite de fiecare dată.
Data sourced from trusted institutions
All formulas verified against official standards.