Scribd Logo
Upload

Welcome to Scribd!

  • Exp 1

    Uploaded by

    Jun Tobias
    14 views3 pages
    The document contains 8 tables (A-F) that evaluate the truth values of logical expressions for different combinations of truth values assigned to variables (p, q, r, etc). Each table assigns either True or False to the variables and logical operators for each row, and evaluates the resulting truth value of logical expressions that combine those variables and operators.

    Original Description:

    assignment

    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 tables (A-F) that evaluate the truth values of logical expressions for different combinations of truth values assigned to variables (p, q, r, etc). Each table assigns either True or False to the variables and logical operators for each row, and evaluates the resulting truth value of logical expressions that combine those variables and operators.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as docx, pdf, or txt
    14 views3 pages

    Exp 1

    Uploaded by

    Jun Tobias
    The document contains 8 tables (A-F) that evaluate the truth values of logical expressions for different combinations of truth values assigned to variables (p, q, r, etc). Each table assigns either True or False to the variables and logical operators for each row, and evaluates the resulting truth value of logical expressions that combine those variables and operators.

    Copyright:

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

    A

    p q r ￢q (￢q ∨ r) p → (￢q ∨ r)

    T T T F T T

    T T F F F F

    T F T T T T

    T F F T T T

    F T T F T T

    F T F F F T

    F F T T T T

    F F F T T T

    B
    p q r ￢p (q → r) ￢p → (q → r)

    T T T F T T
    T T F F F T
    T F T F T T
    T F F F T T
    F T T T T T
    F T F T F F
    F F T T T T
    F F F T T T
    C
    p q r ￢p (p → q) (￢p → r) (p → q) ∨ (￢p → r)

    T T T F T T T
    T T F F T T T
    T F T F F T T
    T F F F F T T
    F T T T T T T
    F T F T T F T
    F F T T T T T
    F F F T T F T

    D
    p q r ￢p (p → q) (￢p → r) (p → q) ∧ (￢p → r)

    T T T F T T T

    T T F F T T T

    T F T F F T F

    T F F F F T F

    F T T T T T T

    F T F T T F F

    F F T T T T T

    F F F T T F F
    E
    p q r ￢q (p → q) (￢q → r) (p → q) ∧ (￢q → r)

    T T T F T T T

    T T F F T T T

    T F T T F T F

    T F F T F F F

    F T T F T T T

    F T F F T T T

    F F T T T T T

    F F F T T F F

    F
    p q r ￢p ￢q (￢p ↔￢q) (q → r) (￢p ↔￢q) ↔ (q ↔ r)

    T T T F F T T T

    T T F F F T F F

    T F T F T F T F

    T F F F T F T F

    F T T T F F T F

    F T F T F F F T

    F F T T T T T T

    F F F T T T T T

    You might also like