Calculadora de formas normales (FND y FNC) online
Escribe una fórmula y obtén su forma normal disyuntiva (FND) y su forma normal conjuntiva (FNC) canónicas, leídas de su tabla de verdad.
Valores de verdad:
· De teclado valen
- ~ & v -> <->
Cómo se usa
La FND canónica se lee de las filas verdaderas de la tabla: una conjunción de literales por cada fila con valor 1, unidas por disyunciones. La FNC canónica se lee de las filas falsas: una disyunción de literales por cada fila con valor 0, unidas por conjunciones. Las tautologías no tienen FNC propia (ninguna fila falsa) y las contradicciones no tienen FND (ninguna fila verdadera). La calculadora muestra ambas formas junto con la tabla de la que salen.
¿Necesitas entender lo que sale? Practica con los ejercicios resueltos de lógica o escríbenos para clases individuales.