Scribd Logo
Upload

Welcome to Scribd!

  • Matdis

    Uploaded by

    Shobun Kollied Anwar
    6 views2 pages
    The document contains 9 logic statements presented with truth tables: 1. The truth table shows that (p → q) → ~p is a tautology. 2. The truth table shows that ~(p → q) V ~p is a tautology. 3. The truth table shows that (~p V ~q) → r is a tautology. 4. The truth table shows that p → (p → (q V r)) is a tautology. 5. The truth table shows that p ↔ [(p → q) → r] is a tautology. The document asks to show the equivalence of several additional logic

    Original Description:

    Original Title

    matdis.docx

    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 9 logic statements presented with truth tables: 1. The truth table shows that (p → q) → ~p is a tautology. 2. The truth table shows that ~(p → q) V ~p is a tautology. 3. The truth table shows that (~p V ~q) → r is a tautology. 4. The truth table shows that p → (p → (q V r)) is a tautology. 5. The truth table shows that p ↔ [(p → q) → r] is a tautology. The document asks to show the equivalence of several additional logic

    Copyright:

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

    Matdis

    Uploaded by

    Shobun Kollied Anwar
    The document contains 9 logic statements presented with truth tables: 1. The truth table shows that (p → q) → ~p is a tautology. 2. The truth table shows that ~(p → q) V ~p is a tautology. 3. The truth table shows that (~p V ~q) → r is a tautology. 4. The truth table shows that p → (p → (q V r)) is a tautology. 5. The truth table shows that p ↔ [(p → q) → r] is a tautology. The document asks to show the equivalence of several additional logic

    Copyright:

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

    1.

    [ p  q ]  ~ p

    ~ p [pq]
    p q
    p q ~p
    B B S B S
    B S S S B
    S B B S B
    S S B S B

    2. ~ [ p  q ] V ~ p

    ~ p ~[pq ~[pq]V~
    p q
    p q ] p
    B B S B S S
    B S S S B B
    S B B S B B
    S S B S B B

    3. [~ p V ~q ]  r

    ~ ~ [~p V~q]r
    p q r [~p V~q]
    p q
    B B B S S S S
    B B S S S S S
    B S B S B B B
    B S S S B B S
    S B B B S B B
    S B S B S B S
    S S B B B B B
    S S S B B B S

    4. p  [p  ( q V r) ]

    p q r qVr p^(qVr) p [p  ( q V r)]


    B B B B B B
    B B S B B B
    B S B B B B
    B S S S S S
    S B B B S B
    S B S B S B
    S S B B S B
    S S S S S B

    5. p  [(p  q)  r ]
    p q r pq (p  q)  r p [(p  q)  r ]
    B B B B B B
    B B S B S S
    B S B S S S
    B S S S S S
    S B B B B S
    S B S B S B
    S S B B B S
    S S S B S B

    6. [ (p q)  ( ~q V r )]  ( p  r )

    7. Tunjukkan bahwa (p q) ekivalen dengan ~p V q

    8. Tunjukkan bahwa p V (p ^ q)  p dan p ^ (p V q)  p

    9.

    You might also like