¡Urgente! ! ! ! ! programación c ++
Forma normal de disyunción principal En una fórmula proposicional dada, si hay una fórmula equivalente, que consta únicamente de la disyunción de términos menores, entonces la fórmula equivalente se llama disyunción principal del paradigma original.
La unicidad de la forma normal disyuntiva principal La forma normal disyuntiva principal de cualquier fórmula de proposición A no permanentemente falsa que contenga n variables proposicionales es única.
La unicidad de la forma normal conjuntiva principal La forma normal conjuntiva principal de cualquier fórmula proposicional A no eternamente verdadera que contenga n variables proposicionales es única.
Cómo encontrar la forma normal principal de la tabla de verdad
(1) (1) En la tabla de verdad, el valor de verdad de una fórmula es la disyunción del término menor correspondiente a la asignación de T , que es la principal forma normal disyuntiva de esta fórmula.
(2) (2) En la tabla de verdad, el valor de verdad de una fórmula es la conjunción de los términos mayores correspondientes a la asignación de F, que es la conjunción principal en forma normal de la fórmula.
Algoritmo de equivalencia de la forma normal principal
Para una fórmula proposicional dada A con n variables, se puede transformar en una forma normal disyuntiva principal única o en una forma normal conjuntiva primaria única.
Relación entre formas normales principales
Supongamos que la fórmula proposicional contiene n variables proposicionales, y la forma normal disyuntiva principal de A contiene k términos menores, entonces la conjunción principal de A La forma normal debe contener un término principal.
Si la forma normal disyuntiva principal de la fórmula proposicional A es: Entonces la forma normal disyuntiva principal de A es:
De la forma normal disyuntiva principal de la fórmula A con n variables proposicionales, encontrar Pasos en forma normal conjuntiva:
(1) (1) Encuentre la forma normal disyuntiva principal de A que no contenga términos menores.
(2) (2) Escriba el "subíndice" calculado en (1) como el término principal correspondiente
(3) (3) Escriba el "subíndice" que se encuentra en (; 2) as La conjunción de términos mayores es la conjunción principal forma normal de A.