Scribd Logo
Upload

Welcome to Scribd!

  • TRUTHTABLE

    Uploaded by

    Krizza Mae Bituin
    18 views3 pages
    The document contains 5 truth tables that represent different logical expressions: 1) The truth table for q^~p (not p and q) 2) The truth table for the logical expression (q^~p)v ~q (not p and q or not q) 3) The truth table for the logical expression (p^(q->r))->(q->r) (if p implies q->r then q->r) 4) The truth table for the logical expression (p^q) ^ (~p V ~q) (p and q and not p or not q) 5) The truth table for the logical expression [(p -> q)^(

    Original Description:

    Original Title

    TRUTHTABLE.xlsx

    Copyright

    © © All Rights Reserved

    Available Formats

    XLSX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document contains 5 truth tables that represent different logical expressions: 1) The truth table for q^~p (not p and q) 2) The truth table for the logical expression (q^~p)v ~q (not p and q or not q) 3) The truth table for the logical expression (p^(q->r))->(q->r) (if p implies q->r then q->r) 4) The truth table for the logical expression (p^q) ^ (~p V ~q) (p and q and not p or not q) 5) The truth table for the logical expression [(p -> q)^(

    Copyright:

    © All Rights Reserved
    Download as XLSX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as xlsx, pdf, or txt
    18 views3 pages

    TRUTHTABLE

    Uploaded by

    Krizza Mae Bituin
    The document contains 5 truth tables that represent different logical expressions: 1) The truth table for q^~p (not p and q) 2) The truth table for the logical expression (q^~p)v ~q (not p and q or not q) 3) The truth table for the logical expression (p^(q->r))->(q->r) (if p implies q->r then q->r) 4) The truth table for the logical expression (p^q) ^ (~p V ~q) (p and q and not p or not q) 5) The truth table for the logical expression [(p -> q)^(

    Copyright:

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

    1.

    q^~p
    p q ~P q^~p
    T T F F
    T F F F
    F T T T
    F F T F

    2. (q^~p)v ~q
    p q ~p ~q q^~p (q^~p)v ~q
    T T F F F F
    T F F T F T
    F T T F T T
    F F T T F T

    3. (p^(q->r))->(q->r) 1 2
    p q r q -> r p^(q->r) (p^(q->r))->(q->r)
    T T T T T T
    T T F F F T
    T F T T T T
    T F F F F T
    F T T T F T
    F T F F F T
    F F T T F T
    F F F F F T

    4.(p^q) ^ (~p V ~q)


    p q ~p ~q p^q ~p V ~q (p^q) ^ (~p V ~q)
    T T F F T F F
    T F F T F T F
    F T T F F T F
    F F T T F T F

    5.[(p -> q)^(q -> r)] -> (r -> q)


    p q r (p -> q) (q -> r) (p -> q)^(q -> r) (r -> q)
    T T
    T T F
    T F T
    T F F
    F T T
    F T F
    F F T
    F F F
    (p^q) ^ (~p V ~q)

    [(p -> q)^(q -> r)] -> (r -> q)


    5.[(p -> q)^(q -> r)] -> (r -> q)
    p q r (p -> q) (q -> r) (p -> q)^(q -> r) (r -> q) [(p -> q)^(q -> r)] -> (r -> q)
    T T T T T T T T
    T T F T F F T T
    T F T F T F F T
    T F F F T F T T
    F T T T T T T T
    F T F T F F T T
    F F T T T T F F
    F F F T T T T T

    You might also like