Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 55 vistas

    1-04 (Teoría y Práctica) Formas Normales Logica

    Cargado por

    Eugenia Mirabal
    El documento describe las formas normales disyuntiva (FND) y conjuntiva (FNC) de proposiciones lógicas compuestas. Indica que cualquier proposición compuesta puede expresarse en FND o FNC y proporciona ejemplos. Explica cómo hallar las formas normales usando tablas de verdad, árboles de verdad y equivalencias lógicas. Finalmente, incluye ejercicios prácticos para hallar las formas normales de varias proposiciones.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    1-04 (Teoría y Práctica) Formas Normales Logica

    Cargado por

    Eugenia Mirabal
    55 vistas8 páginas
    El documento describe las formas normales disyuntiva (FND) y conjuntiva (FNC) de proposiciones lógicas compuestas. Indica que cualquier proposición compuesta puede expresarse en FND o FNC y proporciona ejemplos. Explica cómo hallar las formas normales usando tablas de verdad, árboles de verdad y equivalencias lógicas. Finalmente, incluye ejercicios prácticos para hallar las formas normales de varias proposiciones.

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento describe las formas normales disyuntiva (FND) y conjuntiva (FNC) de proposiciones lógicas compuestas. Indica que cualquier proposición compuesta puede expresarse en FND o FNC y proporciona ejemplos. Explica cómo hallar las formas normales usando tablas de verdad, árboles de verdad y equivalencias lógicas. Finalmente, incluye ejercicios prácticos para hallar las formas normales de varias proposiciones.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    55 vistas8 páginas

    1-04 (Teoría y Práctica) Formas Normales Logica

    Cargado por

    Eugenia Mirabal
    El documento describe las formas normales disyuntiva (FND) y conjuntiva (FNC) de proposiciones lógicas compuestas. Indica que cualquier proposición compuesta puede expresarse en FND o FNC y proporciona ejemplos. Explica cómo hallar las formas normales usando tablas de verdad, árboles de verdad y equivalencias lógicas. Finalmente, incluye ejercicios prácticos para hallar las formas normales de varias proposiciones.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 8

    Formas Normales

    Cualquier proposición compuesta puede ser expresada de forma equivalente usando


    solamente los conectivos , y .

    Por ejemplo:

    Existen dos formas útiles en las que toda proposición compuesta puede ser expresada,
    llamadas formas normales. Ellas son:

    Forma Normal Disyuntiva (FND)

    Una expresión lógica está en forma normal disyuntiva (FND) si es una disyunción donde
    cada componente es una conjunción de proposiciones simples con negación o sin ella, es
    decir si tiene la forma:

    donde cada es una conjunción de proposiciones simples con negación o sin ella.

    Por ejemplo:

     ( ) () es una FND
     ( ) es una FND
     ( ) NO es una FND (por el término ( ))
     ( ) ( ) NO es una FND (por el término ( ))

    Forma Normal Conjuntiva (FNC)

    Una expresión lógica está en forma normal conjuntiva (FNC) si es una conjunción donde
    cada componente es una disyunción de proposiciones simples con negación o sin ella, es
    decir si tiene la forma:

    donde cada es una disyunción de proposiciones simples con negación o sin ella.

    Por ejemplo:

     ( ) ( ) es una FNC
     ( ) es una FNC
     ( ( )) NO es una FNC (por el término ( ))
     ( ) ( ) NO es una FNC (por el término ( ))
    ¿Cómo hallar las formas normales?

    Dada una proposición compuesta cualquiera, podemos hallar las formas normales usando:

     Tablas de Verdad
     Árboles de Verdad
     Equivalencias

    Veremos cada uno de estos procedimientos.

    Formas Normales con Tablas de Verdad

    Dada la tabla de verdad de una proposición compuesta, procedemos de la siguiente


    forma:

    Para hallar la FND

    (1) Consideramos las filas que dan como resultado V

    (2) Construimos con cada una de esas filas una conjunción con las proposiciones simples
    considerando lo siguiente:

    (a) Si la proposición simple es verdadera, la colocamos igual.

    (b) Si la proposición simple es falsa, la colocamos negada.

    (3) Conectamos con disyunciones todas las conjunciones obtenidas en el paso (2)

    Ejemplo

    Consideremos la siguiente tabla de verdad:

    Tomamos las filas VERDADERAS

    ( ) ( ) Fila 1: Como y son verdaderas


    V V V formamos la conjunción:
    V F F
    F V F Fila 4: Como y son falsas formamos
    F F V la conjunción:

    Conectamos las conjunciones anteriores con una disyunción y obtenemos:

    FND: ( ) ( )
    Para hallar la FNC

    (1) Consideramos las filas que dan como resultado F

    (2) Construimos con cada una de esas filas una disyunción con las proposiciones simples
    considerando lo siguiente:

    (a) Si la proposición simple es verdadera, la colocamos negada.

    (b) Si la proposición simple es falsa, la colocamos igual.

    (3) Conectamos con conjunciones todas las disyunciones obtenidas en el paso (2)

    Ejemplo

    Consideremos la siguiente tabla de verdad:

    Tomamos las filas FALSAS

    ( ) ( ) Fila 2: Como es verdadera y es falsa


    V V V formamos la disyunción:
    V F F
    F V F Fila 3: Como es falsa y es verdadera
    F F V formamos la conjunción:

    Conectamos las disyunciones anteriores con una conjunción y obtenemos:

    FNC: ( ) ( )

    Ejemplo

    Hallar la FND y la FNC de la proposición:

    ( ) ( )

    Solución

    Construimos la tabla de verdad de la proposición dada:


    ( ) ( )
    V V V F
    V V F V
    V F V F
    V F F V
    F V V V
    F V F F
    F F V V
    F F F F

    Para hallar la FND:

    Al tomar las filas verdaderas, obtenemos:

    ( ) ( )
    V V F V
    V F F V
    F V V V
    F F V V

    Obtenemos así:

    FND: ( ) ( ) ( ) ( )

    Para hallar la FNC:

    Al tomar las filas falsas, obtenemos:

    ( ) ( )
    V V V F
    V F V F
    F V F F
    F F F F

    Obtenemos así:

    FNC: ( ) ( ) ( ) ( )
    Formas Normales con Árboles de Verdad

    Para determinar las formas normales de una proposición compuesta usando árboles de
    verdad, se toman las mismas consideraciones que se usan en las tablas de verdad. La
    diferencia está en que, en lugar de trabajar con las filas, se trabaja con las ramas del árbol.
    Lo veremos con un ejemplo:

    Consideremos el árbol de verdad de la proposición ( ( )):

    Para hallar la FND:

    Consideramos las ramas que terminan en

    Tenemos:

    Obtenemos así:

    FND: ( )
    Para hallar la FNC:

    Consideramos las ramas que terminan en

    Tenemos:

    Obtenemos así:

    FNC: ( ) ( )

    Formas Normales con Equivalencias

    Para determinar las formas normales de una proposición compuesta usando


    equivalencias, procedemos como sigue:
    (1) Eliminamos los conectivos y
    (2) Usamos Doble Negación y De Morgan para que las negaciones afecten solo a
    proposiciones atómicas.
    (3) Usamos la Distributividad para obtener disyunción de conjunciones o conjunción de
    disyunciones.

    Ejemplo
    Hallar la FND y la FNC de la proposición ( ( ))

    Solución

    Usamos las leyes de equivalencia:


    ( ( )) ( ( )) (TI)

    ( ) (De M)

    ( ) (De M)

    Tenemos entonces:

    FND: ( )

    Si ahora aplicamos Distributiva obtenemos

    ( ) ( ) ( )

    Por lo tanto:

    FNC: ( ) ( )

    Observación

    Las formas normales que se obtienen usando tablas de verdad se llaman formas normales
    completas porque en cada componente aparecen todas las proposiciones atómicas.
    Cualquier proposición compuesta es equivalente a una única forma normal completa.

    Las formas normales que se obtienen usando árboles de verdad o leyes de equivalencia
    generalmente no son completas y una proposición compuesta puede ser equivalente a
    distintas formas normales no completas.
    Práctica

    Hallar una FND y una FND equivalente a cada una de las siguientes proposiciones:

    (1) ( )

    (2) ( )

    (3) ( ) ( )

    (4) ( )

    (5) ( )

    (6) [ ( ) ]

    (7) [( ) ( )] ( )

    (8) ( ) ( )

    También podría gustarte