Calculator simplificare algebră booleană

Reducerea expresiilor logice la forme minime

Algebră booleană stă la baza circuitelor digitale și a logicii de programare. Simplificarea manuală a expresiilor complexe este un proces predispus la erori, motiv pentru care utilizarea unei metode sistematice este esențială pentru obținerea unor rezultate corecte. Acest instrument online gratuit reduce orice expresie booleană la formele sale matematice cele mai simple, oferind simultan atât suma de produse minimă (SOP), cât și produsul de sume minim (POS).

Procesul de simplificare utilizează algoritmul exact Quine–McCluskey pentru a garanta obținerea minimului absolut. Pe lângă formele finale simplificate, utilizatorul primește o defalcare detaliată, pas cu pas, a modului în care s-a realizat minimizarea, o listă completă a implicanților primi și un tabel de adevăr generat rând cu rând care validează rezultatele obținute în raport cu expresia inițială.

Formate de intrare și operatori acceptați

Pentru a asigura o flexibilitate maximă, instrumentul acceptă o varietate de notații utilizate în inginerie, programare sau logică formală. Variabilele trebuie scrise sub formă de litere simple. Operatorii pot fi combinați liber în cadrul aceleiași expresii:

• AND (ȘI): Poate fi implicit (de exemplu, AB), sau scris explicit folosind punct A·B, asterisc A*B, cuvântul cheie A AND B, operatorul de programare A && B sau simboluri logice. Secvențele de mai multe litere, cum ar fi ABC, sunt interpretate automat ca A AND B AND C.
• OR (SAU): Se poate introduce ca A + B, A OR B, A || B sau prin simboluri logice specifice.
• NOT (NEGARE): Poate fi exprimat prin apostrof A', semnul exclamării !A, cuvântul cheie NOT A, simbolul ¬A sau un simbol prim.
• XOR (SAU exclusiv): Se introduce ca A ^ B, A XOR B sau A ⊕ B.
• NAND: Se poate scrie A NAND B sau ⊼.
• NOR: Se poate scrie A NOR B sau ⊽.
• Constante: Sunt permise valorile logice 0 și 1.

Interfața pune la dispoziție butoane pentru a introduce rapid acești operatori, precum și scurtături pentru exemple predefinite:

• Fuzionarea termenilor (exemplu de consens)
• Produs negat (exemplu bazat pe legile lui De Morgan)
• XOR cu trei căi (exemplu de XOR)

Butonul Șterge permite curățarea instantanee a câmpului de introducere pentru a începe o nouă analiză. Limitele tehnice ale instrumentului sunt de maximum 6 variabile unice și o lungime totală a textului de cel mult 2.000 de caractere.

Analiza diagnostică și rezultatele afișate

După introducerea expresiei, instrumentul afișează o serie de panouri de diagnosticare și rezultate:

• Citit ca: Reprezintă interpretarea normalizată și corectată a expresiei introduse de utilizator.
• Sumă de produse minimă (SOP): Forma simplificată finală exprimată ca sumă de produse.
• Produs de sume minim (POS): Forma simplificată finală exprimată ca produs de sume.

Panoul de diagnosticare Pe scurt oferă indicatori cantitativi exacți despre structura funcției logice:

• Variabile: Lista completă a variabilelor identificate în text.
• Rânduri egale cu 1: Numărul sau lista de mintermeni ai funcției.
• Implicanți primi: Numărul total de implicanți primi determinați.
• Implicanți primi esențiali: Numărul de implicanți primi care trebuie să fie prezenți în mod obligatoriu în acoperirea minimă.
• Literali, înainte → după: Numărul de literali din expresie înainte și după procesul de simplificare, oferind o măsură directă a eficienței reducerii.
• Metodă: Indică algoritmul utilizat, afișând textul „Quine–McCluskey, acoperire minimă exactă”.

Butonul Copiază rezultatul permite salvarea rapidă a formei simplificate în clipboard.

Algoritmul Quine–McCluskey și pașii de simplificare

Spre deosebire de metodele euristice sau de diagramele Karnaugh (K-maps) — care devin extrem de dificil de gestionat manual dincolo de 4 variabile — algoritmul Quine–McCluskey oferă o abordare tabulară sistematică ce garantează găsirea formei minime absolute. Secțiunea Cum a fost simplificată oferă o descriere textuală completă a procesului:

1. Determinarea dimensiunii: În funcție de numărul de variabile detectate, se stabilește dimensiunea tabelului de adevăr. De exemplu, pentru o singură variabilă se afișează textul „Expresia folosește o singură variabilă, ‹variables›, astfel încât tabelul de adevăr are ‹rows› rânduri.”, în timp ce pentru mai multe variabile se afișează „Expresia folosește ‹count› variabile (‹variables›), astfel încât tabelul de adevăr are ‹rows› rânduri.”. Dacă nu există variabile, se specifică faptul că expresia se evaluează la o singură constantă.
2. Identificarea mintermenilor și maxtermenilor: Se listează rândurile pe care funcția este adevărată sau falsă: „Este egală cu 1 pe rândurile Σm(‹minterms›) și cu 0 pe rândurile ΠM(‹maxterms›).”.
3. Determinarea implicanților primi: Se realizează fuzionarea sistematică a rândurilor vecine de 1: „Fuzionarea rândurilor vecine de 1 pe cât posibil lasă ‹count› implicanți primi: ‹list›.”.
4. Selectarea implicanților primi esențiali: Se determină termenii indispensabili: „Implicanți primi esențiali — singura acoperire rămasă pentru cel puțin un rând: ‹list›.”. Dacă nu există astfel de termeni, se afișează: „Niciun implicant prim nu este esențial: fiecare rând de 1 poate fi acoperit în mai multe moduri.”.
5. Acoperirea rândurilor rămase: Dacă mai există mintermeni neacoperiți, aceștia sunt rezolvați optim: „Rândurile rămase neacoperite sunt închise cu cei mai puțini termeni suplimentari: ‹list›.”. În caz contrar, se confirmă: „Implicanții primi esențiali acoperă deja fiecare rând de 1, astfel încât suma este completă.”.
6. Generarea formei POS: Se aplică aceeași procedură de fuzionare pe rândurile de 0: „Rularea aceleiași fuziuni pe rândurile de 0 oferă produsul de sume minim ‹pos›.”.
7. Verificarea finală: Se validează matematic rezultatul: „Ambele forme minime corespund expresiei originale pe toate cele ‹rows› rânduri ale tabelului de adevăr.”.

Validarea prin tabelul de adevăr

Pentru o verificare vizuală directă, instrumentul generează un Tabel de adevăr complet. Acesta conține coloane dedicate pentru fiecare variabilă de intrare, o coloană pentru expresia originală (etichetată Expresie) și o coloană pentru forma simplificată (etichetată SOP minimă). Acest lucru permite utilizatorului să compare rezultatele rând cu rând și să constate că valorile logice de ieșire sunt identice pentru fiecare combinație posibilă de intrări.

Reguli de validare și gestionarea erorilor

Instrumentul include reguli stricte de validare a sintaxei pentru a preveni erorile de calcul:

• Expresii constante: Dacă o expresie este o tautologie (întotdeauna adevărată), se afișează mesajul „Această expresie este întotdeauna 1: fiecare combinație de valori o face adevărată.”. Dacă este o contradicție (întotdeauna falsă), se afișează „Această expresie este întotdeauna 0: nicio combinație de valori nu o face adevărată.”. În plus, starea va indica: „Această expresie este constantă: este întotdeauna egală cu ‹value›.”.
• Expresie deja minimă: Dacă textul introdus nu poate fi redus suplimentar, se afișează mesajul: „Expresia dumneavoastră este deja o sumă de produse minimă.”.
• Erori de sintaxă:
  • Câmp gol: „Introduceți o expresie booleană.”.
  • Depășirea limitei de caractere: „Păstrați expresia sub 2,000 de caractere.”.
  • Caractere nepermise: „„‹char›” (poziția ‹position›) nu este un operator boolean, o variabilă sau o constantă.”.
  • Operanzi lipsă: „Lipsește operandul unui operator în apropierea poziției ‹position› — verificați dacă există un +, · sau ⊕ fără corespondent.”.
  • Paranteze greșite: „Parantezele nu sunt echilibrate — adăugați sau eliminați o paranteză.”.
  • Prea multe variabile: „Această expresie folosește ‹count› variabile diferite; simplificatorul acceptă cel mult 6.”.

Confidențialitate și procesare locală

Toate calculele matematice necesare pentru simplificarea expresiilor booleene sunt executate local, direct în browserul web al utilizatorului. Datele introduse și expresiile nu sunt încărcate pe niciun server extern și nu părăsesc niciodată dispozitivul dumneavoastră, asigurând o confidențialitate deplină a datelor procesate.

Întrebări frecvente

De ce sunt acceptate cel mult 6 variabile?
Șase variabile produc deja un tabel de adevăr cu 64 de rânduri, ceea ce reprezintă limita a ceea ce mai poate fi citit și verificat manual. Dincolo de aceasta, minimizarea continuă să funcționeze în teorie, dar deducerea și tabelul pe care este construită această pagină nu mai sunt utile ca dovezi. Programele de proiectare logică cu export de fișiere sunt mai potrivite pentru funcții mai complexe.

Cum se determină forma minimă?
Instrumentul generează tabelul de adevăr complet, îmbină rândurile vecine de 1 în implicanți primi (metoda Quine–McCluskey), îi păstrează pe cei esențiali și acoperă rândurile rămase printr-o acoperire minimă exactă. Rezultatul este garantat ca fiind minim pentru forma sumă de produse (SOP) — nu este o euristică — iar aceeași procedură aplicată rândurilor de 0 produce produsul de sume.

Ce moduri de scriere a unei expresii sunt înțelese?
Sunt acceptate toate convențiile comune, combinate liber: stilul utilizat în inginerie (AB + A'C, cu AND implicit și apostrof pentru NOT), stilul de programare (A &&!B || C, A ^ B), simboluri logice (¬ ∧ ∨ ⊕ ⊼ ⊽) și cuvinte simple (A AND B OR NOT C, NAND, NOR). Secvențele de mai multe litere, cum ar fi ABC, înseamnă A AND B AND C, iar cuvintele AND, OR, NOT, XOR, NAND, NOR sunt interpretate întotdeauna ca operatori.

Care este diferența dintre rezultatele SOP și POS?
Ambele descriu aceeași funcție. Suma de produse (SOP) reunește prin operatorul OR termeni legați prin AND, cum ar fi AB' + BC, și se transpune direct în circuite AND–OR; produsul de sume (POS) reunește prin operatorul AND factori legați prin OR, cum ar fi (A + B)(B' + C), și se transpune în circuite OR–AND. În funcție de funcție, o formă poate necesita mai puține porți logice decât cealaltă, motiv pentru care instrumentul le afișează întotdeauna pe amândouă.