¡Cómo encontrar la forma normal disyuntiva principal y la forma normal conjuntiva principal!
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 de la fórmula original. /p>
La unicidad de la forma normal disyuntiva principal. Cualquier fórmula de proposición no falsa A que contenga n variables proposicionales, su forma normal disyuntiva principal es única.
Conjunción principal La unicidad del paradigma. Cualquier fórmula proposicional A que no sea eternamente verdadera y que contenga n variables proposicionales tiene una forma normal de conjunción principal ú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 forma normal disyuntiva principal 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 principales correspondientes a la asignación de F, que es la conjunción principal de la forma normal de la fórmula.
Algoritmo de equivalencia de la forma normal principal<. /p> p>
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 principal mediante una transformación equivalente
Entre las formas normales principales. relación de
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 forma normal conjuntiva principal de A debe contener términos mayores
<. p>Si la forma normal disyuntiva principal de la fórmula proposicional A es: Entonces la forma normal conjuntiva principal de A es:De la forma normal disyuntiva principal de la fórmula A con n variables proposicionales, encuentre la forma normal conjuntiva Pasos:
(1) (1) Encuentre la forma normal disyuntiva principal de A que no contenga términos menores
(2) (2) Encuentre en (1) El ". subíndice" escrito se escribe como el término mayor correspondiente;
(3) (3) La conjunción de los términos principales escritos en (2) es la forma normal conjuntiva principal de A.
Puede consultar
ezikao/bbs_disp_all.asp?id=34725amp boardid=52