Scribd Logo
Upload

Welcome to Scribd!

  • Tablas de Verdad: P Q R P R Q (P R)

    Uploaded by

    Carlos Castelan
    15 views2 pages
    The document contains truth tables for several logical expressions involving propositional variables p, q, r, s. The truth tables specify the truth values of the main logical expression for each combination of truth values assigned to the propositional variables. Some examples evaluated include the expressions p→r, q→(p→r), p˄(r˅q), (r→s)→(p˄q), (r˄s)˅(¬p˄q), and *(p˄q)→r+↔ s.

    Original Description:

    Original Title

    Tablas de Verdad

    Copyright

    © Attribution Non-Commercial (BY-NC)

    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 truth tables for several logical expressions involving propositional variables p, q, r, s. The truth tables specify the truth values of the main logical expression for each combination of truth values assigned to the propositional variables. Some examples evaluated include the expressions p→r, q→(p→r), p˄(r˅q), (r→s)→(p˄q), (r˄s)˅(¬p˄q), and *(p˄q)→r+↔ s.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    15 views2 pages

    Tablas de Verdad: P Q R P R Q (P R)

    Uploaded by

    Carlos Castelan
    The document contains truth tables for several logical expressions involving propositional variables p, q, r, s. The truth tables specify the truth values of the main logical expression for each combination of truth values assigned to the propositional variables. Some examples evaluated include the expressions p→r, q→(p→r), p˄(r˅q), (r→s)→(p˄q), (r˄s)˅(¬p˄q), and *(p˄q)→r+↔ s.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 2

    Tablas de verdad

    p
    1
    1
    1
    1
    1
    1
    1
    1
    0
    0
    0
    0
    0
    0
    0
    0

    p
    1
    1
    1
    1
    0
    0
    0
    0

    q
    1
    1
    0
    0
    1
    1
    0
    0

    r
    1
    0
    1
    0
    1
    0
    1
    0

    pr
    1
    0
    1
    0
    1
    1
    1
    1

    q (pr)
    1
    0
    1
    1
    1
    1
    1
    1

    p
    1
    1
    1
    1
    0
    0
    0
    0

    q
    1
    1
    0
    0
    1
    1
    0
    0

    R
    1
    0
    1
    0
    1
    0
    1
    0

    rq
    1
    1
    1
    0
    1
    1
    1
    0

    p(rq)
    1
    1
    1
    0
    0
    0
    0
    0

    q
    1
    1
    1
    1
    0
    0
    0
    0
    1
    1
    1
    1
    0
    0
    0
    0

    r
    1
    1
    0
    0
    1
    1
    0
    0
    1
    1
    0
    0
    1
    1
    0
    0

    s
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0

    rs
    1
    0
    1
    1
    1
    0
    1
    1
    1
    0
    1
    1
    1
    0
    1
    1

    pq
    1
    1
    1
    1
    0
    0
    0
    0
    0
    0
    0
    0
    0
    0
    0
    0

    (rs) (pq)
    1
    1
    1
    1
    0
    1
    0
    0
    0
    1
    0
    0
    0
    1
    0
    0

    p
    1
    1
    1
    1
    1
    1
    1
    1
    0
    0
    0
    0
    0
    0
    0
    0

    p
    1
    1
    1
    1
    1
    1
    1
    1
    0
    0
    0
    0
    0
    0
    0
    0

    q
    1
    1
    1
    1
    0
    0
    0
    0
    1
    1
    1
    1
    0
    0
    0
    0

    r
    1
    1
    0
    0
    1
    1
    0
    0
    1
    1
    0
    0
    1
    1
    0
    0

    q
    1
    1
    1
    1
    0
    0
    0
    0
    1
    1
    1
    1
    0
    0
    0
    0

    s
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0

    r
    1
    1
    0
    0
    1
    1
    0
    0
    1
    1
    0
    0
    1
    1
    0
    0

    rs
    1
    0
    0
    0
    1
    0
    0
    0
    1
    0
    0
    0
    1
    0
    0
    0

    s
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0

    p
    0
    0
    0
    0
    0
    0
    0
    0
    1
    1
    1
    1
    1
    1
    1
    1

    pq
    1
    1
    1
    1
    0
    0
    0
    0
    0
    0
    0
    0
    0
    0
    0
    0

    (pq)
    0
    0
    0
    0
    0
    0
    0
    0
    1
    1
    1
    1
    0
    0
    0
    0

    (rs)(pq)
    1
    0
    0
    0
    1
    0
    0
    0
    1
    1
    1
    1
    1
    0
    0
    0

    (pq)r
    1
    1
    0
    0
    1
    1
    1
    1
    1
    1
    1
    1
    1
    1
    1
    1

    *(pq)r+ s
    1
    0
    0
    1
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0
    1
    0

    You might also like