Formas normales y principales

  1. 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.
  2. 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.
  3. 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.
  4. 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

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *