Resumen
Cómo se calcula
Tabla de verdad
Formas canónicas / SOP simplificada
Preguntas frecuentes
¿Qué operadores puedo usar?
Usa ! o ~ para NOT, & o ∧ para AND, ^ para XOR, | o ∨ para OR, -> para implicación, <-> para equivalencia y las constantes 0, 1, T y F.
¿Cómo elige la herramienta entre Karnaugh y Quine–McCluskey para simplificar?
Hasta 4 variables, agrupa los minterms como en un mapa de Karnaugh. Con 5 o 6 variables cambia a Quine–McCluskey con selección de Petrick. Por encima de 6, vuelve a la DNF canónica.