¿Cuál es la forma normal disyuntiva principal?

El principal paradigma disyuntivo es el contenido de un curso llamado matemáticas discretas en matemáticas universitarias. En la parte de lógica matemática de las matemáticas discretas, se pueden usar tablas de verdad y algoritmos de equivalencia para simplificar o deducir algunas proposiciones. Sin embargo, cuando una proposición tiene una gran cantidad de variables independientes, el método anterior es inconveniente, por lo que es necesario formular la proposición. Forma normal conjuntiva principal y forma normal disyuntiva principal.

El paradigma disyuntivo es la estandarización (o normalización) de fórmulas lógicas y la disyunción de cláusulas conjuntivas. Como forma estándar, es útil en la demostración automatizada de teoremas. Se dice que una fórmula lógica es DNF si y sólo si es la disyunción de uno o más conectivos de una o más palabras.

Teoremas y demostraciones

1. Teorema: La forma normal disyuntiva principal de cualquier hipótesis no permanente con n variables proposicionales es única.

2. Prueba: Prueba por reducción al absurdo.

Supongamos que la hipótesis no permanente A (P1, P2, P3,...Pn) tiene dos formas normales disyuntivas principales diferentes A1 y A2, entonces A

Porque A1 y A2 son dos paradigmas disyuntivos principales diferentes. Entonces hay al menos un término mínimo mi que solo existe en A1 o A2. Configuramos mi en A1, no en A2.

Supongamos que mi tiene una asignación R verdadera en A1, entonces la forma normal disyuntiva principal A1 es verdadera bajo la asignación R, pero la forma normal disyuntiva principal A2 es falsa bajo la asignación R, que es diferente de A1.

Para consultar el contenido anterior, consulte la Enciclopedia Baidu: paradigma disyuntivo principal.