Flujo del Lab Booleano
∧
Flujo del Lab Booleano
entrada del usuario
proceso
decisión
rama alternativa
Abrir la página
Elegir variables (1 a 6) y su valor 0 o 1
A, B, C… cada una vale 0 o 1
Escribir la expresión
AB' + CD · a+b · A xor B · F = …
Calcular
también se recalcula al cambiar un 0 o 1
Leer la expresión
texto → árbol · precedencia: ( ) NOT AND OR
¿Expresión válida?
Sí
Mostrar el error
variable o paréntesis mal
No
Tabla de verdad
evaluar las 2ⁿ filas · columnas intermedias
Σ y Π
F = 1 → minitérminos · F = 0 → maxitérminos
Forma mínima
Quine-McCluskey: SOP con los unos, POS con los ceros
Álgebra paso a paso
expandir · simplificar · complemento · dual · POS
cada paso cita su postulado o teorema y se verifica (✓)
¿Las reglas llegan
a la mínima?
Sí
Último paso: Q-M
completa y lo indica
No
¿2 a 8 variables?
Sí
Tarjeta 03 bloqueada
de 2 a 8 variables
No
Mapa de Karnaugh
Gray · grupos de 1, 2, 4, 8 · modo batalla
Compuertas
dibujar original, mínima SOP y POS · contar chips
Comprobación
Σ, Π, mín. SOP y mín. POS contra F, fila por fila
¿Todas iguales?
Sí
Marcar ✗ o ≠
en la tarjeta 06
No
Mostrar resumen y 6 tarjetas
tabla · Σ y Π · Karnaugh · compuertas · álgebra · comprobación
Interacción
cambiar un 0 o 1, abrir una tarjeta o escribir otra expresión
repite
ENTRADA
ANÁLISIS
SIMPLIFICACIÓN
SALIDAS
COMPROBACIÓN
El programa lee la expresión, calcula todo desde la tabla de verdad y comprueba cada resultado contra ella. Cualquier cambio de valor vuelve a Calcular.