Tabla de contenido:
- Definición: ¿Qué significa la forma normal conjuntiva (CNF)?
- Techopedia explica la forma normal conjuntiva (CNF)
Definición: ¿Qué significa la forma normal conjuntiva (CNF)?
La forma normal conjuntiva (CNF) es un enfoque de la lógica booleana que expresa fórmulas como conjunciones de cláusulas con un AND u OR. Cada cláusula conectada por una conjunción, o AND, debe ser literal o contener una disyunción, u operador OR. CNF es útil para la demostración automatizada de teoremas.
Techopedia explica la forma normal conjuntiva (CNF)
En forma normal conjuntiva, las declaraciones en lógica booleana son conjunciones de cláusulas con cláusulas de disyunción. En otras palabras, una declaración es una serie de OR conectadas por AND.
Por ejemplo:
(A O B) Y (C O D)
(A O B) Y (NO C O B)
Las cláusulas también pueden ser literales:
A O B
A Y B
Los literales se ven en CNF como conjunciones de cláusulas literales y conjunciones que tienen una sola cláusula. Es posible convertir las declaraciones en CNF que están escritas en otra forma, como la forma normal disyuntiva.
