Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Ejercicios Lógica (Tablas de Verdad)

    Cargado por

    moises quijada
    172 vistas5 páginas

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento

    Copyright:

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

    Ejercicios Lógica (Tablas de Verdad)

    Cargado por

    moises quijada

    Copyright:

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

    Ejercicio #1

    ¬p˅q

    p q ¬p ¬p˅q
    V V F V
    V F F F
    F V V V
    F F V V

    Ejercicio #2

    (p^q)→p

    p q (p^q) (p^q)→p
    V V V V
    V F F F
    F V F V
    F F F V

    Ejercicio #3

    p↔¬p

    p ¬p p↔¬p
    V F F
    F V F

    Ejercicio #4

    ( p ↔ ¬ q ) ^ ( p ˅ ¬ q)
    p q ¬q (p↔¬q) ( p ˅ ¬ q)
    V V F F V
    V F V V V
    F V F V F
    F F V F V

    Ejercicio #5

    ( p ↔ ¬ q ) ˅ ( p ˅ ¬ q)

    p q ¬q (p↔¬q) ( p ˅ ¬ q)
    V V F F V
    V F V V V
    F V F V F
    F F V F V

    Ejercicio #6

    (¬p˅q)↔(p→q)

    p q ¬p (¬p˅q) (p→q)
    V V F V V
    V F F F F
    F V V V V
    F F V V V

    Ejercicio #7

    (p^q)→[¬(¬p˅¬q)]

    p q ¬p ¬q (p^q)
    V V F F V
    V F F V F
    F V V F F
    F F V V F
    Ejercicio #8

    ( p → q ) ↔ [ ¬ ( p ^ ¬ q )]

    p q ¬q (p→q) (p^¬q)
    V V F V F
    V F V F V
    F V F V F
    F F V V F

    Ejercicio #9

    (p˅q)→[¬(¬p^¬q)]

    p q ¬p ¬q (p˅q)
    V V F F V
    V F F V V
    F V V F V
    F F V V F
    DONE DONE DONE DONE DONE
    ( p ↔ ¬ q ) ^ ( p ˅ ¬ q)
    F
    V
    F
    F

    ( p ↔ ¬ q ) ˅ ( p ˅ ¬ q)
    V
    V
    V
    V

    (¬p˅q)↔(p→q)
    V
    V
    V
    V

    (¬p˅¬q) [¬(¬p˅¬q)] (p^q)→[¬(¬p˅¬q)]


    F V V
    V F V
    V F V
    V F V
    [ ¬ ( p ^ ¬ q )] ( p → q ) ↔ [ ¬ ( p ^ ¬ q )]
    V V
    F V
    V V
    V V

    (¬p^¬q) [¬(¬p^¬q)] (p˅q)→[¬(¬p^¬q)]


    F V V
    F V V
    F V V
    V F V
    DONE

    También podría gustarte