Scribd Logo
Upload

Welcome to Scribd!

  • Tarea #2

    Uploaded by

    andrea
    5 views9 pages
    The document contains a student's response to a mathematics homework assignment on proving logical equivalences. The student provides truth tables to demonstrate 21 logical equivalence problems, noting that problems 4 and 19 do not seem to be equivalences based on the truth tables provided.

    Original Description:

    Matematicas

    Original Title

    TAREA #2

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document contains a student's response to a mathematics homework assignment on proving logical equivalences. The student provides truth tables to demonstrate 21 logical equivalence problems, noting that problems 4 and 19 do not seem to be equivalences based on the truth tables provided.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    5 views9 pages

    Tarea #2

    Uploaded by

    andrea
    The document contains a student's response to a mathematics homework assignment on proving logical equivalences. The student provides truth tables to demonstrate 21 logical equivalence problems, noting that problems 4 and 19 do not seem to be equivalences based on the truth tables provided.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 9

    miércoles, 10 de marzo de 2021

    Marín Vallarta Karen Aidee


    Matemáticas Discretas
    (Segunda tarea)
    1CM11
    miércoles, 10 de marzo de 2021

    Demuestre que:
    1.¬(¬p) = p
    p ¬p ¬(¬p) p
    V F V V
    V F V V
    F V F F
    F V F F

    2. p v q = q v p
    p q pvq qvp
    V V V V
    V F V V
    F V V V
    F F F F

    3. p ^ q = q ^ p
    p q p^q q^p
    V V V V
    V F F F
    F V F F
    F F F F
    miércoles, 10 de marzo de 2021

    4. p → q = q → p
    p q p→q q→p
    V V V V
    V F F V
    F V V F
    F F V V

    5.[(p v q) v r] = [p v (q v r)]
    p q r p v q (p v q) v r qvr p v (q v r)
    V F V V V V V
    V F F V V F V
    F V V V V V V
    F V F F F V F

    6. [(p ^ q) ^ r] = [p^(q ^ r)]


    p q r p^q (p ^ q) ^ r q^r p ^ (q ^ r)
    V F V F F F F
    V F F F F F F
    F V V F F V F
    F V F F F F F
    miércoles, 10 de marzo de 2021

    7. [p v (q ^ r)] = [(p v q) ^ (p v r)]


    p q r q^r p v (q ^ r) p v q pvr (p v q) ^ (q v r)
    V F V F V V V V
    V F F F V V V V
    F V V V V V V V
    F V F F F F F F

    8. [p ^ (q v r)] = [(p ^ q) v (p ^ r)]


    p q r qvr p ^ (q v r) p ^ q p^r (p ^ q) v (q ^ r)
    V F V V V F V V
    V F F F F F F F
    F V V V F F F F
    F V F V F F F F

    9.(p v p) = p
    p pvp p
    V V V
    V V V
    F F F
    F F F
    miércoles, 10 de marzo de 2021

    10.(p ^ p) = p
    p p^p p
    V V V
    V V V
    F F F
    F F F

    11.¬ (p v q)= (¬p ^ ¬q)


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

    12.¬ (p ^ q) = (¬p v ¬q)


    p q ¬p ¬q ¬ (p ^ q) (¬p v ¬q)
    V V F F F F
    V F F V V V
    F V V F V V
    F F V V V V
    miércoles, 10 de marzo de 2021

    13.(p v q) = ¬ (¬p ^ ¬q)


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

    14.(p ^ q) = ¬ (¬p v ¬q)


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

    15.(p → q) = (¬p v q)
    p q ¬p (p → q) (¬p v q)
    V V F V V
    V F F F F
    F V V V V
    F F V V V
    miércoles, 10 de marzo de 2021

    16.(p → q) = ¬ (p ^ ¬q)
    p q ¬q (p → q) ¬ (p ^ ¬q)
    V V F V V
    V F V F F
    F V F V V
    F F V V V

    17.(p v q) = (¬p → q)
    p q ¬p (p v q) (¬p → q)
    V V F V V
    V F F V V
    F V V V V
    F F V F F

    18.(p ^ q) = ¬(p → ¬q)


    p q ¬q (p ^ q) ¬ (p → ¬q)
    V V F V V
    V F V F F
    F V F F F
    F F V F F
    miércoles, 10 de marzo de 2021

    19. [(p → r) ^ (q →r)] = [(p ^ q) → r]


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

    20. [(p → q) ^ (p →r)] = [(p → (q ^ r)]


    p q r (p → q) (p → r) (p → q) ^ (p →r) (q ^ r) p → (q ^ r)
    V V V V V V V V
    V V F V F F F F
    V F V F V F F F
    V F F F F F F F
    F V V V V V V V
    F V F V V V F V
    F F V V V V F V
    F F F V V V F V
    miércoles, 10 de marzo de 2021

    21.(p ⥂ q) = [(p → q) ^ (q → p)]


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

    Profesor los ejercicios 4 y 19 que nos pide resolver


    para demostrar que son equivalentes, no dan.

    You might also like