Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • FNCP Si FNDP

    Cargado por

    Лёш-Ка
    54 vistas2 páginas
    El documento presenta un análisis lógico de la fórmula -z → (x ^ y) utilizando dos métodos. El primer método deriva la forma normal disyuntiva perfecta de la fórmula, que es x ^ y ^ z v -x ^ y ^ z v x ^ -y ^ z v x ^ y ^ -z v -x ^ -y ^ z. El segundo método deriva la forma normal conjuntiva perfecta, que es (x v y v z) ^ (-x v y v z) ^ (x v -y v z).

    Descripción original:

    Título original

    FNCP-si-FNDP

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    El documento presenta un análisis lógico de la fórmula -z → (x ^ y) utilizando dos métodos. El primer método deriva la forma normal disyuntiva perfecta de la fórmula, que es x ^ y ^ z v -x ^ y ^ z v x ^ -y ^ z v x ^ y ^ -z v -x ^ -y ^ z. El segundo método deriva la forma normal conjuntiva perfecta, que es (x v y v z) ^ (-x v y v z) ^ (x v -y v z).

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    54 vistas2 páginas

    FNCP Si FNDP

    Cargado por

    Лёш-Ка
    El documento presenta un análisis lógico de la fórmula -z → (x ^ y) utilizando dos métodos. El primer método deriva la forma normal disyuntiva perfecta de la fórmula, que es x ^ y ^ z v -x ^ y ^ z v x ^ -y ^ z v x ^ y ^ -z v -x ^ -y ^ z. El segundo método deriva la forma normal conjuntiva perfecta, que es (x v y v z) ^ (-x v y v z) ^ (x v -y v z).

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 2

    Formula nr 2.

    –z  (x ^ y)
    Metoda I
    Nr x y z –z (x ^ F(x,y,x)
    . y)
    1. 0 0 0 1 0 0
    2. 0 0 1 0 0 1
    3. 0 1 0 1 0 0
    4. 1 0 0 1 0 0
    5. 0 1 1 0 0 1
    6. 1 0 1 0 0 1
    7. 1 1 0 1 1 1
    8. 1 1 1 0 1 1

    FNDP:
    2. –x ^ –y ^z
    5. –x ^ y ^ z
    6. x ^ –y ^ z
    7. x ^ y ^ –z
    8. x ^ y ^ z
    F(x, y, z) = (–x ^ –y ^z) v (–x ^ y ^ z) v (x ^ –y ^ z) v (x ^ y ^ –z) v (x ^ y ^ z)

    FNCP:
    1. x v y v z
    3. x v –y v z
    4. –x v y z
    F(x, y, z) = (x v y v z) ^ (x v –y v z) ^ (–x v y v z)
    –z  (x ^ y)
    Metoda II

    –z  (x ^ y) = z v (x ^ y) – forma normala disjunctiva


    z v (x ^ y) = z ^ (x v –x) ^ (y v –y) v x ^ y ^ (z v –z) =
    = (z ^ x) v (z ^ –x) v (y v –y) x ^ y ^ z v x ^ y ^ –z =
    = z ^ x ^ y v z ^ x ^ –y v z ^ –x ^ y v z ^ –x ^ –y v x ^ y ^ z v x ^ y ^ –z =
    = x ^ y ^ z v –x ^ y ^ z v x ^ –y ^ z v x ^ y ^ –z v –x ^ –y ^ z – forma normala
    disjunctiva perfecta

    –z  (x ^ y) = z v (x ^ y) = (z v x) ^ (z v y) – forma normala conjunctiva


    (z v x) ^ (z v y) = (z v x v y^–y) ^ (z v y v x^–x) =
    = (z v x v y) ^ (z v x –y) ^ (z v y x) ^ (z v y –x) =
    = (x v y v z) ^ (–x v y v z) ^ (x v –y v z) – forma normala conjunctiva perfecta

    También podría gustarte