¿Cómo entender el paradigma conjuntivo principal y el paradigma disyuntivo principal de variables proposicionales?

P? , Q, ? R , PVQ? , RVQ , ? (P∨Q)→(R∨Q); ) V(-P∧-Q∧R)V(-P∧Q∧-R)V(-P∧Q∧R)V(P∧-Q∧R)V(P∧Q∧-R)V( P ∧Q∧R)

La forma normal de conjunción principal es PV-QV-R.

Entre ellos, "-" es verdadero o falso. P∧Q es la forma normal disyuntiva principal de esta fórmula, porque este es el término mínimo m3, por lo que según el paradigma complementario, su forma normal conjuntiva principal es M0∧M1∧M2.

Información ampliada:

Encontrar la forma normal conjuntiva principal y la forma normal disyuntiva principal de la fórmula proposicional: la forma normal disyuntiva principal es la disyunción (unión) de varios términos mínimos; El llamado término máximo es la expresión disyuntiva p∨?q∨r que contiene todas las variables proposicionales.

El llamado término mínimo es la expresión de conjunción ?p∧?q∧r que contiene todas las variables proposicionales. Las matemáticas discretas pueden verse como un puente entre las matemáticas y la informática, porque las matemáticas discretas son inseparables del conocimiento matemático como la teoría de conjuntos y la teoría de grafos, y también están relacionadas con la teoría de bases de datos y las estructuras de datos en la informática.

Enciclopedia Baidu-Matemáticas Discretas