- Formas normales disyuntivas (DNF):
una fórmula que es equivalente a una fórmula dada y que consiste en una suma de productos elementales se llama forma normal disyuntiva de fórmula dada.Ejemplo:
(P ∧ ~ Q) ∨ (Q ∧ R) ∨ (~ P ∧ Q ∧~ R)- El DNF de la fórmula no es único.
- Forma Normal Conjuntiva (FNC):
Una fórmula que es equivalente a una fórmula dada y que consiste en un producto de productos elementales se llama forma normal conjuntiva de fórmula dada.Ejemplo:
(P~ ∨ Q) ∧ (Q ∨ R) ∧ (~ P ∨ Q ∨ ~ R)- El CNF de la fórmula no es único.
- Si toda suma elemental en CNF es tautología, entonces la fórmula dada también es tautología.
- Forma normal disyuntiva principal (PDNF):
una fórmula equivalente que consta de disyunciones de minterms solamente se denomina forma normal disyuntiva principal de la fórmula.También se conoce como forma canónica de suma de productos .
Ejemplo:
(P ∧ ~ Q ∧ ~ R) ∨ (P ∧ ~ Q ∧ R) ∨ (~ P ∧ ~ Q ∧ ~ R)- El minitérmino consta de conjunciones en las que cada enunciado variable o su negación, pero no ambos, aparece una sola vez.
- Los minitérminos se escriben incluyendo la variable si su valor de verdad es T y su negación si su valor de verdad es F.
- Forma normal conjuntiva principal (PCNF):
una fórmula equivalente que consta de conjunciones de maxterms solamente se denomina forma normal conjuntiva principal de la fórmula.También se conoce como forma canónica de producto de sumas .
Ejemplo:
(P ∨ ~ Q ∨ ~ R) ∧ (P ∨ ~ Q ∨ R) ∧ (~ P ∨ ~ Q ∨ ~ R)- El maxterm consta de disyunciones en las que cada variable o su negación, pero no ambas, aparece una sola vez.
- El dual de un minitérmino se llama maxtérmino.
- Cada uno de los maxterm tiene el valor de verdad F para exactamente una combinación de los valores de verdad de las variables.
- Los maxtérminos se escriben incluyendo la variable si su valor de verdad es F y su negación si su valor de verdad es T.
Publicación traducida automáticamente
Artículo escrito por prernap1909 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA