Contenido
- Definición: ¿Qué significa la forma normal conjuntiva (CNF)?
- Una introducción a Microsoft Azure y la nube de Microsoft | A lo largo de esta guía, aprenderá de qué se trata la computación en la nube y cómo Microsoft Azure puede ayudarlo a migrar y administrar su negocio desde la nube.
- 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.
Una introducción a Microsoft Azure y la nube de Microsoft | A lo largo de esta guía, aprenderá de qué se trata la computación en la nube y cómo Microsoft Azure puede ayudarlo a migrar y administrar su negocio desde la nube.
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.