¿Qué es la forma normal disyuntiva (FND)?

Una disyunción de conjunciones de literales. La FND canónica se lee de las filas verdaderas de la tabla de verdad: cada fila con valor 1 aporta una conjunción con todas las letras (afirmadas si valen 1, negadas si valen 0).

¿Qué es la forma normal conjuntiva (FNC)?

Una conjunción de disyunciones de literales. La FNC canónica se lee de las filas falsas: cada fila con valor 0 aporta una disyunción con las letras negadas si valen 1 y afirmadas si valen 0.

¿Toda fórmula tiene FND y FNC?

Toda fórmula contingente tiene ambas. Las tautologías no tienen FNC canónica (no hay filas falsas) y las contradicciones no tienen FND canónica (no hay filas verdaderas).

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: 1 / 0 V / F · 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.

Sigue practicando

Adrián López Gómez · Doctor en Filosofía · Lógica formal desde 2006 — pulsa aquí si y solo si necesitas ayuda especializada