Calculadora de tabla de verdad booleana

La lógica digital, la preparación de exámenes y el diseño de hardware necesitan una tabla de verdad completa para una expresión booleana de pocas variables. Los estudiantes que escriben (A AND B) OR NOT C a mano suelen omitir una fila o invertir un NOT; los ingenieros que automatizan comprobaciones de puertas necesitan un oráculo determinista que nunca invente XOR cuando solo se pidieron AND, OR y NOT. Esta calculadora de tabla de verdad acepta una fórmula breve, detecta las variables libres, enumera cada asignación en orden binario natural y devuelve el bit de resultado de cada fila. Los paréntesis controlan el agrupamiento; se admiten las formas verbales AND, OR, NOT y los símbolos &, |, !, &&, ||, ~. Como máximo seis variables mantienen la tabla en sesenta y cuatro filas para respuestas compactas en navegadores y workers de borde.

Cómo se construye la tabla de verdad con AND, OR y NOT

Una expresión booleana es una fórmula cuyo valor es verdadero o falso para cada combinación de sus variables libres. Esta calculadora admite los tres operadores clásicos de todo curso introductorio de lógica digital: NOT (complemento unario), AND (conjunción) y OR (disyunción). La precedencia sigue la convención habitual: NOT liga con más fuerza, luego AND y después OR, de modo que A OR B AND C se interpreta como A OR (B AND C) salvo que usted añada paréntesis.

Puede escribir los operadores como palabras (AND, OR, NOT sin distinción de mayúsculas) o como símbolos: ampersand y doble ampersand para AND, barra vertical y doble barra para OR, y bang o tilde para NOT. Los paréntesis fuerzan el agrupamiento exactamente como en álgebra. Se permiten las constantes 0, 1, true y false cuando necesite un bit fijo dentro de una fórmula mayor.

Las variables son letras o identificadores alfanuméricos como A, B, enable o Q1; se normalizan a mayúsculas para que a y A cuenten como la misma señal. Para cada máscara entera de cero a dos a la n menos uno, los bits correspondientes se asignan de izquierda a derecha a la lista ordenada de variables (bit más significativo en la variable de la izquierda), se evalúa la expresión sobre esa asignación y se registra el bit de resultado.

La salida es, por tanto, una tabla completa y ordenada que usted puede imprimir, calificar o alimentar a un simulador sin reordenar filas.

Contrato de entrada, forma de la respuesta y errores

El valor de ejemplo A AND B es una conjunción de dos variables; las fórmulas más interesantes usan paréntesis como (A AND B) OR NOT C. Los caracteres inesperados, los paréntesis sin pareja, los tokens sobrantes y los operadores no admitidos como XOR o NAND también fallan con un mensaje claro para que los clientes corrijan la fórmula sin adivinar. Cada fila tiene values, un array de bits cero o uno alineado con la lista de variables, y result, el bit de salida evaluado cero o uno.

Una cadena formula breve reafirma el contrato de enumeración para mostrarlo junto a la tabla. Ejemplo: la expresión A AND B produce las variables A y B, cuatro filas, y result uno solo en la última fila donde ambos bits son uno. La expresión NOT A con una sola variable produce dos filas con resultados invertidos.

Las fórmulas solo de constantes como TRUE OR FALSE producen cero variables, una fila y un único bit de resultado. La validación fallida no se factura.