Scribd Logo
Upload

Welcome to Scribd!

  • Act 5

    Uploaded by

    J VS
    9 views2 pages
    The document contains 8 truth tables testing various logical statements and equivalences. Each truth table has 3 columns (P, Q, R) testing the truth values of logical statements based on the possible truth value combinations of the variables.

    Original Description:

    matemáticas discretas

    Original Title

    ACT 5

    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 8 truth tables testing various logical statements and equivalences. Each truth table has 3 columns (P, Q, R) testing the truth values of logical statements based on the possible truth value combinations of the variables.

    Copyright:

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

    Act 5

    Uploaded by

    J VS
    The document contains 8 truth tables testing various logical statements and equivalences. Each truth table has 3 columns (P, Q, R) testing the truth values of logical statements based on the possible truth value combinations of the variables.

    Copyright:

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

    P Q R ¬Q  

    ( P →Q)  (¬Q ∧ R)  {( P →Q ) ∨ ( ¬ Q∧ R ) }  ( R →Q)  {( P →Q ) ∨ ( ¬ Q∧ R ) }↔(R →Q)}

    V V V F V F V V V

    V V F F V F V V V

    V F V V F V V F F

    V F F V F F F V F

    F V V F V F V V V

    F V F F V F V V V

    F F V V V V V F F

    F F F V V F V V V
    {( P →Q ) ∨ ( ¬ Q∧ R ) }↔(R →Q)}

    {¬ P→ ( ¬ R ∨Q ∧ P ) }↔( R ∨¬ Q)

    P Q R ¬P ¬Q ¬R  (Q ∧ P)  (¬ R ∨Q ∧ P)  ( R ∨¬Q)  {¬ P→(¬ R ∨Q∧ P)  {¬ P→ ( ¬ R ∨Q ∧ P ) ↔ ( R ∨¬ Q ) }

    V V V F F F V V V V V
    V V F F F V V V F V F
    V F V F V F F F V V V
    V F F F V V F V V V V
    F V V V F F F F V F F
    F V F V F V F V F V F
    F F V V V F F F V F F
    F F F V V V F V V V V
    {¬( P →Q)→ R }→(¬ P∨ ¬ R ∧Q)

     
    P Q R ¬P ¬R  ( P →Q) ¬( P →Q)  ¿  (¬ R ∧Q)  (¬ P ∨¬ R∧ Q)  ¿
    V V V F F V F V F F F
    V V F F V V F V V V V
    V F V F F F V V F F F
    V F F F V F V F F F V
    F V V V F V F V F V V
    F V F V V V F V V V V
    F F V V F V F V F V V
    F F F V V V F V F V V

    ( P →¬ Q∨ R)↔(P ∧Q→ ¬ R)

    P Q R ¬Q ¬R  (¬Q ∨ R)   P →(¬Q ∨ R)   P ∧Q  ( P ∧Q)→ ¬ R  ( P →¬ Q∨ R)↔(P ∧Q→ ¬ R)

    V V V F F V V V F F

    V V F F V F F V V F

    V F V V F V V F V V

    V F F V V V V F V V

    F V V F F V V F V V

    F V F F V F V F V V

    F F V V F V V F V V

    F F F V V V V F V V

    You might also like