Scribd Logo
Upload

Welcome to Scribd!

  • Guanin Jean Deber1

    Uploaded by

    Jean-Pierre Guanin
    6 views12 pages

    Original Title

    Guanin_Jean_Deber1.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

    Copyright:

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

    Guanin Jean Deber1

    Uploaded by

    Jean-Pierre Guanin

    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 12

    P

    0
    0
    1
    1

    P
    0
    0
    1
    1

    P
    0
    0
    0
    0
    1
    1
    1
    1

    P
    0
    0
    1
    1

    P
    0
    0
    0
    0
    1
    1
    1
    1

    P
    0
    0
    0
    0
    1
    1
    1
    1

    P
    0
    0
    0
    0
    1
    1
    1
    1

    P
    0
    0
    0
    0
    1
    1
    1
    1

    P
    0
    0
    1
    1

    P
    0
    0
    1
    1
    𝑅 ¬𝑅 (¬R∨P) ¬(¬R∨P) ¬(¬R∨P)∨R P ∨¬(¬R∨P)∨R
    0 1 1 0 0 0
    1 0 0 1 1 1
    0 1 1 0 0 1
    1 0 1 0 1 1

    𝑅 𝑃↔𝑅 ¬P ¬P∨R ¬(¬P∨R) P↔R⋀¬(¬P∨R)

    0 1 1 1 0 0
    1 0 1 1 0 0
    0 0 0 0 1 0
    1 1 0 1 0 0

    ¬Q ¬S ¬Q∨¬S ¬(¬Q∨¬S)
    Q S
    0 0 1 1 1 0
    0 1 1 0 1 0
    1 0 0 1 1 0
    1 1 0 0 0 1
    0 0 1 1 1 0
    0 1 1 0 1 0
    1 0 0 1 1 0
    1 1 0 0 0 1

    𝑄 ¬P
    ¬PVQ ¬PVQ⋀P ¬PVQ⋀P→Q
    0 1 1 0 1
    1 1 1 0 1
    0 0 0 0 1 0
    1 0 1 1 1

    ¬P
    Q R ¬P⋀Q QVP ¬(QVP)
    0 0 1 0 0 1
    0 1 1 0 0 1
    1 0 1 1 1 0
    1 1 1 1 1 0
    0 0 0 0 1 0
    0 1 0 0 1 0
    1 0 0 0 1 0
    1 1 0 0 1 0

    R T ¬P ¬R ¬T (T ^ R)
    0 0 1 1 1 0
    0 1 1 1 0 0
    1 0 1 0 1 0
    1 1 1 0 0 1
    0 0 0 1 1 0
    0 1 0 1 0 0
    1 0 0 0 1 0
    1 1 0 0 0 1

    Q R ¬P ¬Q ¬R (¬P v Q)
    0 0 1 1 1 1
    0 1 1 1 0 1
    1 0 1 0 1 1
    1 1 1 0 0 1
    0 0 0 1 1 0
    0 1 0 1 0 0
    1 0 0 0 1 1
    1 1 0 0 0 1

    Q R ¬P ¬Q ¬R (¬P ^ Q)
    0 0 1 1 1 0
    0 1 1 1 0 0
    1 0 1 0 1 1
    1 1 1 0 0 1
    0 0 0 1 1 0
    0 1 0 1 0 0
    1 0 0 0 1 0
    1 1 0 0 0 0

    Q ¬P ¬Q (Q ^ P) P--> (Q ^ P) (P v Q)
    0 1 1 0 1 0
    1 1 0 0 1 1
    0 0 1 0 0 1
    1 0 0 1 1 1

    Q ¬P ¬Q (P ^ Q) (P ^ ¬Q) (P ^ Q) v (P ^ ¬Q)
    0 1 1 0 0 0
    1 1 0 0 0 0
    0 0 1 0 1 1
    1 0 0 1 0 1
    CONTINGENCIA

    1 3

    CONTRADICCION

    4 3

    P∨¬(¬Q∨¬S) ¬Q ¬S
    0 1 1
    0 1 0
    0 0 1
    1 0 0
    1 1 1
    1 1 0
    1 0 1
    1 0 0

    TAUTOLOGIA

    (¬P⋀Q)V(¬QVP) PVR ¬R
    1 0 1
    1 1 0
    1 0 1
    1 1 0
    0 1 1
    0 1 0
    0 1 1
    0 1 0

    ¬(T ^ R) P ^ ¬(T ^ R) ¬{P ^ ¬(T ^ R)}


    1 0 1
    1 0 1
    1 0 1
    0 0 1
    1 1 0
    1 1 0
    1 1 0
    0 0 1

    (¬P v Q) ^ ¬R (¬Q ^ R) (¬Q v R) v P


    1 0 0
    0 1 1
    1 0 0
    0 0 0
    0 0 1
    0 1 1
    1 0 1
    0 0 1

    (Q ^ R) ¬(Q ^ R) (R --> P)
    0 1 1
    0 1 0
    0 1 1
    1 0 0
    0 1 1
    0 1 1
    0 1 1
    1 0 1

    ¬Q ^ (P v Q) P→ (Q ^ P) v ¬Q ^ (P v Q)
    0 1
    0 1
    1 1 0
    0 1

    ¬(P ^ Q) v (P ^ ¬Q) ¬(P ^ Q) v (P ^ ¬Q) v Q ¬(P ^ Q) v (P ^ ¬Q) v Q ^ P


    1 1 0
    1 1 0
    0 0 0
    0 1 1
    ¬Q→¬S ¬(¬Q→¬S)
    1 0
    0 1
    1 0
    1 0
    1 0
    0 1
    1 0
    1 0

    PV¬R (PVR)⋀(PV¬R)
    1 0
    0 0
    1 0
    0 0
    1 1
    1 1
    1 1
    1 1

    (T → ¬P) ¬(P ^ ¬(T ^ R))(T → ¬P)


    1 1
    1 1
    1 1
    1 1
    1 0
    0 0
    1 0
    0 0

    (¬P v Q) ^ ¬R → (¬Q v R) v P
    0
    1
    0
    1
    1
    1 2
    1
    1

    ¬(R → P) ¬P ^¬(Q ^ R)
    0 1
    1 1
    0 1
    1 0
    0 0
    0 0
    0 0
    0 0

    TAUTOLOGIA

    ¬(¬(P ^ Q) v (P ^ ¬Q) v Q ^ P) ¬Q v¬(¬(P ^ Q) v (P ^ ¬Q) v Q ^ P)


    1 1
    1 1
    1 1
    0 0
    (P∨¬(¬Q∨¬S))V¬(¬Q→¬S)
    0
    1
    0
    1
    1
    1 2
    1
    1

    (¬P⋀Q)V(¬QVP)⋀PVR)⋀(PV¬R)
    0
    0
    0
    0
    0
    0 8
    0
    0
    CONTINGENCIA

    4 4

    CONTINGENCIA

    (¬P ^ Q) v ¬P ^¬(Q ^ R) ¬(R → P) v (¬P ^ Q) v ¬P ^¬(Q ^ R)


    1 1
    1 1
    1 1
    1 1
    0 0
    0 0
    0 0
    0 0

    CONTINGENCIA

    1 3
    CONTINGENCIA

    CONTRADICCION

    0
    CONTINGENCIA

    4 4

    You might also like