Simplificador d'àlgebra booleana

L'àlgebra booleana és el pilar fonamental sobre el qual es dissenyen els circuits lògics digitals i s'optimitzen les condicions de programari. La simplificació d'aquestes expressions permet reduir el nombre de portes lògiques necessàries en un disseny físic o millorar la claredat i el rendiment del codi font. El Simplificador d'àlgebra booleana és una eina digital que redueix qualsevol expressió booleana a les seves formes matemàtiques més simples, calculant instantàniament tant la suma de productes mínima com el producte de sumes mínim.

Aquest procés de minimització es realitza de manera exacta mitjançant l'algorisme de Quine–McCluskey, acompanyat d'una verificació completa a través d'una taula de veritat i un desglossament detallat de cada pas del desenvolupament algebraic.

Funcionament i formats d'entrada admesos

L'eina processa expressions de fins a 6 variables diferents i un màxim de 2.000 caràcters. Admet l'ús de les constants 0 i 1, i reconeix una àmplia varietat de notacions provinents de l'enginyeria, la programació i la lògica formal, les quals es poden barrejar lliurement:

• AND (Conjunció): Es pot expressar de forma implícita escrivint les variables juntes (per exemple, AB), o bé utilitzant operadors com A·B, A*B, A AND B, A && B o el símbol lògic de conjunció. Les seqüències de diverses lletres com ABC s'interpreten com A AND B AND C.
• OR (Disjunció): S'accepten els formats A + B, A OR B, A || B o el símbol lògic de disjunció.
• NOT (Negació): Es pot indicar mitjançant una prima o apòstrof (A'), un signe d'exclamació (!A), la paraula NOT A o el símbol de negació ¬A.
• XOR (OR exclusiu): S'admeten les formes A ^ B, A XOR B i A ⊕ B.
• NAND: S'expressa com A NAND B o amb el símbol ⊼.
• NOR: S'expressa com A NOR B o amb el símbol ⊽.

La interfície disposa de botons per a accions ràpides. L'apartat Proveu una expressió inclou dreceres per carregar exemples predefinits: Fusió de termes (exemple de consens), Producte negat (exemple de De Morgan) i XOR de tres vies (exemple de XOR). També s'inclou el botó Neteja per buidar el camp d'entrada.

Diagnòstic i resultats de la simplificació

Un cop introduïda l'expressió, l'eina mostra la interpretació normalitzada sota l'etiqueta Llegit com. Si l'entrada és buida, es mostra el missatge d'estat Escriviu una expressió booleana per simplificar-la.. Quan el càlcul es realitza correctament, es mostra l'estat Simplificat i comprovat en les ‹rows› files..

La secció de resultats ofereix de manera immediata dues estructures algebraiques equivalents:

1. Suma de productes mínima (SOP): La representació simplificada en forma de minterms units per operadors OR.
2. Producte de sumes mínim (POS): La representació simplificada en forma de maxterms units per operadors AND.

El botó Copia el resultat permet desar fàcilment aquestes sortides al porta-retalls. A més, el panell de diagnòstic D'un cop d'ull detalla les propietats de l'expressió analitzada:

• Variables: Llista de les variables úniques detectades.
• Files iguals a 1: Recompte o llista dels minterms de la funció.
• Implicants primers: Nombre total d'implicants primers identificats.
• Implicants primers essencials: Nombre d'implicants primers que cobreixen de manera única almenys un minterm.
• Literals, abans → després: Comparació quantitativa de la complexitat de l'expressió abans i després de la simplificació.
• Mètode: Mostra el procediment utilitzat, definit com Quine–McCluskey, cobertura mínima exacta.

El procés de minimització pas a pas

L'apartat Com s'ha simplificat reconstrueix el camí algebraic que garanteix la minimització exacta. El text de derivació inclou els següents passos i missatges estructurats:

• Anàlisi de dimensions: Dependrà del nombre de variables detectades. Per a múltiples variables, es mostra: "L'expressió utilitza ‹count› variables (‹variables›), de manera que la taula de veritat té ‹rows› files.". Si només n'hi ha una, s'indica: "L'expressió utilitza una variable, ‹variables›, de manera que la taula de veritat té ‹rows› files.". Si no n'hi ha cap, es mostra: "L'expressió no utilitza cap variable, de manera que s'avalua com una única constant.".
• Identificació de files: Es classifiquen els estats de la funció: "És igual a 1 a les files Σm(‹minterms›) i 0 a les files ΠM(‹maxterms›).".
• Fusió d'implicants: Es detalla la cerca de termes adjacents: "La fusió de les files d'1 veïnes tant com sigui possible deixa ‹count› implicants primers: ‹list›.".
• Determinació d'essencials: Es defineixen els implicants clau: "Implicants primers essencials —l'única cobertura restant per a almenys una fila: ‹list›." o bé, si escau, "Cap implicant primer és essencial: cada fila d'1 es pot cobrir de més d'una manera.".
• Resolució de la cobertura: Si queden files per cobrir, s'indica: "Les files que encara no estan cobertes es tanquen amb el menor nombre de termes addicionals: ‹list›.". Si la cobertura ja és completa amb els essencials, es mostra: "Els implicants primers essencials ja cobreixen cada fila d'1, de manera que la suma està completa.".
• Derivació del POS: S'explica el càlcul invers: "Executar la mateixa fusió a les files de 0 dóna el producte de sumes mínim ‹pos›.".
• Verificació final: Es confirma la correspondència lògica: "Ambdues formes mínimes coincideixen amb l'expressió original en totes les ‹rows› files de la taula de veritat.".

Per a una comprovació visual directa, la secció Taula de veritat genera una taula de veritat completa on es comparen les columnes de les variables d'entrada, l'expressió original (sota la columna Expressió) i la versió simplificada (sota la columna SOP mínim), assegurant que coincideixen fila per fila.

Regles de validació i gestió d'errors

L'eina disposa d'un sistema de control d'errors per garantir la validesa de les expressions introduïdes abans de realitzar els càlculs:

• Límit de variables: Si l'expressió supera les 6 variables, es mostra l'error: Aquesta expressió utilitza ‹count› variables diferents; el simplificador en admet fins a 6..
• Límit de caràcters: Si l'entrada supera els 2.000 caràcters, es mostra: Mantingueu l'expressió per sota dels 2,000 caràcters..
• Entrada buida: Si s'intenta processar un camp buit, s'indica: Introduïu una expressió booleana..
• Caràcters no vàlids: Si es detecta un símbol no reconegut, es llança el missatge: «‹char›» (posició ‹position›) no és un operador booleà, variable o constant..
• Errors de sintaxi: Si falta algun operand, es mostra: Falta l'operand d'un operador a prop de la posició ‹position› — comproveu si hi ha un + · o ⊕ penjat..
• Parèntesis desequilibrats: Si els parèntesis no estan tancats correctament, s'alerta amb: Els parèntesis no estan equilibrats — afegiu o elimineu un parèntesi..

Casos especials i expressions constants

Quan l'expressió introduïda és equivalent a una constant lògica independentment dels valors de les seves variables, l'eina mostra el missatge d'estat Aquesta expressió és constant: sempre és igual a ‹value›.. Específicament:

• Per a tautologies (sempre 1): Aquesta expressió és sempre 1: cada combinació de valors la fa vertadera..
• Per a contradiccions (sempre 0): Aquesta expressió és sempre 0: cap combinació de valors la fa vertadera..

En cas que l'expressió introduïda per l'usuari ja es trobi en la seva forma més simplificada, es mostrarà el missatge: La vostra expressió ja és una suma de productes mínima..

Privacitat i processament de dades

La privacitat de les dades és un aspecte clau en el disseny d'aquest simplificador. Totes les expressions s'analitzen i es simplifiquen directament en el navegador web de l'usuari. El processament es realitza de manera local i les dades mai no surten del dispositiu, garantint que les expressions o fórmules introduïdes no es comparteixen ni s'emmagatzemen en servidors externs.

---

Preguntes freqüents

Com es troba la forma mínima?

L'eina construeix la taula de veritat completa, fusiona les files d'1 veïnes en implicants primers (el mètode de Quine–McCluskey), conserva els essencials i cobreix les files restants amb una cobertura mínima exacta. Es garanteix que el resultat és mínim per a la forma de suma de productes —no és una heurística— i el mateix procediment a les files de 0 produeix el producte de sumes.

Quina és la diferència entre els resultats SOP i POS?

Totes dues descriuen la mateixa funció. La suma de productes (SOP) uneix amb OR els termes AND, com ara AB' + BC, i es mapeja directament a circuits AND–OR; el producte de sumes (POS) uneix amb AND els factors OR, com ara (A + B)(B' + C), i es mapeja a circuits OR–AND. Depenent de la funció, una forma pot necessitar menys portes que l'altra, de manera que l'eina sempre mostra totes dues.

Quines maneres d'escriure una expressió s'entenen?

Totes les convencions comunes, barrejades lliurement: estil d'enginyeria (AB + A'C, amb AND implícit i la prima per a NOT), estil de programació (A &&!B || C, A ^ B), símbols lògics (¬ ∧ ∨ ⊕ ⊼ ⊽) i paraules planes (A AND B OR NOT C, NAND, NOR). Les seqüències de diverses lletres com ABC signifiquen A AND B AND C, i les paraules AND, OR, NOT, XOR, NAND, NOR es llegeixen sempre com a operadors.

Per què s'admeten com a màxim 6 variables?

Sis variables ja produeixen una taula de veritat de 64 files, que és aproximadament el límit del que encara és llegible i comprovable a mà. Més enllà d'això, la minimització continua funcionant en teoria, però la derivació i la taula al voltant de les quals es construeix aquesta pàgina deixen de ser útils com a demostració. El programari de disseny lògic amb sortida de fitxer és més adequat per a funcions més àmplies.