Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 3 vistas

    Mad XX XX

    Cargado por

    Francisco Zurisaddai Meneses

    Copyright:

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

    Mad XX XX

    Cargado por

    Francisco Zurisaddai Meneses
    3 vistas3 páginas

    Título original

    MAD_XX_XX_

    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?

    Copyright:

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

    Mad XX XX

    Cargado por

    Francisco Zurisaddai Meneses

    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 3

    Lógica y demostraciones | Unidad 2

    Actividad 1 (AI4) Tablas de verdad

    Instrucciones. Realiza las tablas de verdad de las siguientes seis fórmulas lógicas, inserta la tabla
    debajo de cada una:

    1. ¬(𝑝 ∧ 𝑞) ∧ ¬𝑟

    p q r (p^q) (¬((p^q))) (¬r) ((¬((p^q)))^(¬r))


    F F F F V V V
    F F V F V F F
    F V F F V V V
    F V V F V F F
    V F F F V V V
    V F V F V F F
    V V F V F V F
    V V V V F F F

    2. (𝑝 ∨ 𝑞) ∨ (¬𝑝 ∧ ¬𝑞)

    p q (pvq) (¬p) (¬q) ((¬p)^(¬q)) (((pvq))v(((¬p)^(¬q))))

    F F F V V V V
    F V V V F F V
    V F V F V F V
    V V V F F F V
    Lógica y demostraciones | Unidad 2

    Actividad 1 (AI4) Tablas de verdad

    3. ¬[(𝑝 ∧ ¬𝑞) ∧ 𝑟]

    p q r (¬q) (p^(¬q)) (((p^(¬q)))^r) (¬((((p^(¬q)))^r)))

    F F F V F F V
    F F V V F F V
    F V F F F F V
    F V V F F F V
    V F F V V F V
    V F V V V V F
    V V F F F F V
    V V V F F F V

    4. 𝑝 ∨ ¬(¬𝑝 ∧ 𝑞)

    p q (¬p) ((¬p)^q) (¬(((¬p)^q))) (pv(¬(((¬p)^q))))

    F F V F V V
    F V V V F F
    V F F F V V
    V V F F V V

    5. 𝑝 ∧ (¬𝑞 ∧ 𝑝)

    p q (¬q) ((¬q)^p) (p^(((¬q)^p)))

    F F V F F

    F V F F F
    V F V V V

    V V F F F
    Lógica y demostraciones | Unidad 2

    Actividad 1 (AI4) Tablas de verdad

    6. ¬[(𝑝 ∧ ¬𝑟) ∧ ¬𝑞]

    p r q (¬r) (p^(¬r)) (¬q) (((p^(¬r)))^(¬q)) (¬((((p^(¬r)))^(¬q))))


    F F F V F V F V
    F F V V F F F V
    F V F F F V F V
    F V V F F F F V
    V F F V V V V F
    V F V V V F F V
    V V F F F V F V
    V V V F F F F V

    También podría gustarte