Generador de Expresiones desde Tabla de Verdad
Convierte cualquier tabla de verdad en una expresión lógica. Genera fórmulas booleanas en Forma Normal Disyuntiva (FND) o Forma Normal Conjuntiva (FNC) desde tu tabla de verdad personalizada.
| p | q | Salida |
|---|---|---|
| ⊥ | ⊥ | |
| ⊤ | ⊥ | |
| ⊥ | ⊤ | |
| ⊤ | ⊤ |
Haz clic en los valores de salida para alternar entre verdadero (⊤) y falso (⊥)
Entendiendo la Síntesis Booleana
Forma Normal Disyuntiva (FND)
FND representa una fórmula como un OR de ANDs (suma de productos). Para cada fila donde la salida es verdadera, creamos un mintérmino que une con AND todas las variables, negando las que son falsas. Estos mintérminos se unen con OR para formar la expresión completa.
Forma Normal Conjuntiva (FNC)
FNC representa una fórmula como un AND de ORs (producto de sumas). Para cada fila donde la salida es falsa, creamos un maxtérmino que une con OR todas las variables, negando las que son verdaderas. Estos maxtérminos se unen con AND para formar la expresión completa.
Aplicaciones de la Síntesis de Tablas de Verdad
Convertir tablas de verdad en expresiones lógicas es una técnica fundamental en ciencias de la computación y electrónica digital. Esta herramienta ayuda con:
- Diseño de circuitos digitales - Crear ecuaciones booleanas para compuertas lógicas a partir del comportamiento entrada-salida deseado
- Desarrollo de software - Generar lógica condicional a partir de tablas de especificación
- Estudios académicos - Aprender y practicar álgebra booleana y lógica proposicional
- Optimización de lógica - Comparar formas FND y FNC para encontrar expresiones equivalentes más simples