Scribd Logo
Carica

Benvenuto in Scribd!

  • Tarea Logica 7

    Caricato da

    Jean Garduno
    38 visualizzazioni6 pagine
    El documento presenta 6 ejercicios de equivalencia lógica evaluados mediante tablas de verdad. En los ejercicios 1, 2 y 4, las fórmulas dadas son equivalentes lógicamente. En el ejercicio 3, las fórmulas no son equivalentes. En los ejercicios 5 y 6, tampoco son equivalentes las fórmulas evaluadas.

    Descrizione originale:

    Titolo originale

    Tarea logica 7

    Copyright

    © © All Rights Reserved

    Formati disponibili

    DOCX, PDF, TXT o leggi online da Scribd

    Hai trovato utile questo documento?

    Questo contenuto è inappropriato?

    Segnala questo documento
    El documento presenta 6 ejercicios de equivalencia lógica evaluados mediante tablas de verdad. En los ejercicios 1, 2 y 4, las fórmulas dadas son equivalentes lógicamente. En el ejercicio 3, las fórmulas no son equivalentes. En los ejercicios 5 y 6, tampoco son equivalentes las fórmulas evaluadas.

    Copyright:

    © All Rights Reserved
    Scarica in formato DOCX, PDF, TXT o leggi online su Scribd
    Segnala contenuti inappropriati
    38 visualizzazioni6 pagine

    Tarea Logica 7

    Caricato da

    Jean Garduno
    El documento presenta 6 ejercicios de equivalencia lógica evaluados mediante tablas de verdad. En los ejercicios 1, 2 y 4, las fórmulas dadas son equivalentes lógicamente. En el ejercicio 3, las fórmulas no son equivalentes. En los ejercicios 5 y 6, tampoco son equivalentes las fórmulas evaluadas.

    Copyright:

    © All Rights Reserved
    Scarica in formato DOCX, PDF, TXT o leggi online su Scribd
    Segnala contenuti inappropriati
    di 6

    Ejercicio Jean Michel Garduño González

    Ejercicio
    Los resultados de las tablas de verdad están marcados con amarillo; en algunas tablas se optó por un método de resolución, posteriormente, después de platicar
    con un compañero y ver su método, se prefirió el otro por considerarlo más eficaz. En ambos métodos los resultados están marcados con amarillo.
    1) (P ˄ (Q ˅ R)) ≡ ((P ˄ Q) ˅ (P ˄ R))
    P Q R (QVR) (P ˄ (Q ˅

    R))
    V V V V V
    V V F V V
    V F V V V
    V F F F F
    F V V V F
    F V F V F
    F F V V F
    F F F F F

    P Q R (P∧Q) (P∧R) ((P ˄

    Q) ˅

    (P ˄

    R))
    V V V V V V
    V V F V F V
    V F V F V V
    V F F F F F
    F V V F F F
    F V F F F F
    Ejercicio Jean Michel Garduño González
    F F V F F F
    F F F F F F

    Ambas fórmulas son equivalentes lógicamente.

    2) (P ↔Q) ≡ ((P → Q) ˄ (Q → P))

    P Q (P ↔ Q)
    V V V V V
    V F V F F
    F V F F V
    F F F V F

    P Q ((P → Q) ˄ (Q → P)
    V V V V V V V V V
    V F V F F F F V V
    F V F V V F V F F
    F F F V F V F V F

    Ambas fórmulas son equivalentes lógicamente.

    3) (¬A ˄ ¬B) ≡ ¬(A ˄ B)


    A B ¬A ¬B (¬A ˄ ¬B)
    V V F F F
    V F F V F
    F V V F F
    F F V V V

    A B (A ˄ B) ¬(A ˄ B)
    V V V F
    V F F V
    F V F V
    Ejercicio Jean Michel Garduño González
    F F F V
    Las fórmulas no son equivalentes lógicamente.

    4) ((P ˄ Q) → R) ≡ (P → (Q → R))
    P Q R ((P ˄ Q) → R)
    V V V V V V V V
    V V F V V V F F
    V F V V F F V V
    V F F V F F V F
    F V V F F V V V
    F V F F F V V F
    F F V F F F V V
    F F F F F F V F

    P Q R (P → (Q → R))
    V V V V V V V V
    V V F V F V F F
    V F V V V F V V
    V F F V V F V F
    F V V F V V V V
    F V F F V V F F
    F F V F V F V V
    F F F F V F V F

    Ambas fórmulas son equivalentes lógicamente.

    5) (A ˅ (B ˄ C)) ≡ ((A ˅ B) ˄ C)
    A B C (A ˅ (B ˄ C))
    V V V V V V V V
    V V F V V V F F
    V F V V V F F V
    V F F V V F F F
    F V V F V V V V
    F V F F F V F F
    Ejercicio Jean Michel Garduño González
    F F V F F F F V
    F F F F F F F F

    A B C ((A ˅ B) ˄ C)
    V V V V V V V V
    V V F V V V F F
    V F V V V F V V
    V F F V V F F F
    F V V F V V V V
    F V F F V V F F
    F F V F F F F V
    F F F F F F F F

    Las fórmulas no son equivalentes lógicamente.

    6) ((P → Q) → P) ≡ P
    P Q ((P → Q) → P)
    V V V V V V V
    V F V F F V V
    F V F V V F F
    F F F V F F F

    P P
    V V
    F F

    Las fórmulas son equivalentes lógicamente.

    7) (P → (Q → R)) ≡ ((P → Q) → R)

    P Q R (P → (Q → R))
    V V V V V V V V
    V V F V F V F F
    Ejercicio Jean Michel Garduño González
    V F V V V F V V
    V F F V V F V F
    F V V F V V V V
    F V F F V V F F
    F F V F V F V V
    F F F F V F V F

    P Q R ((P → Q) → R)
    V V V V V V V V
    V V F V V V F F
    V F V V F F V V
    V F F V F F V F
    F V V F V V V V
    F V F F V V F F
    F F V F V F V V
    F F F F V F F F

    Las fórmulas no son equivalentes lógicamente.

    8) ((P ˄ Q) ↔ R) ≡ (P → (Q → R))
    P Q R ((P ˄ Q) ↔ R)
    V V V V V V V V
    V V F V V V F F
    V F V V F F F V
    V F F V F F V F
    F V V F F V F V
    F V F F F V V F
    F F V F F F F V
    F F F F F F V F

    P Q R (P → (Q → R))
    Ejercicio Jean Michel Garduño González
    V V V V V V V V
    V V F V F V F F
    V F V V V F V V
    V F F V V F V F
    F V V F V V V V
    F V F F V V F F
    F F V F V F V V
    F F F F V F V F
    Las fórmulas no son equivalentes lógicamente.
    9) (A ˄ ¬A) ≡ ((B ˄ ¬A) ˄ (B → A))

    A ¬A (A ˄ ¬A)
    V F F
    F V F

    A B (B ˄ ¬A) (B → A) ((B ˄ ¬A) ˄ (B → A))


    V V F V F
    V F F V F
    F V V F F
    F F F V F
    Las fórmulas son equivalentes lógicamente.

    Potrebbero piacerti anche