Scribd Logo
Upload

Welcome to Scribd!

  • DDDDDD

    Uploaded by

    Romario Pacsi Tito
    5 views1 page
    The document contains two logic exercises involving evaluating the truth values of compound logic statements. The first exercise evaluates the truth value of [(p→q)→s]→(q∨t) for different variable assignments. The second exercise evaluates the statement [(p→q)∧r]→[p∧(q∨r)] for the case where → evaluates to false.

    Original Description:

    Original Title

    dddddd......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 two logic exercises involving evaluating the truth values of compound logic statements. The first exercise evaluates the truth value of [(p→q)→s]→(q∨t) for different variable assignments. The second exercise evaluates the statement [(p→q)∧r]→[p∧(q∨r)] for the case where → evaluates to false.

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    5 views1 page

    DDDDDD

    Uploaded by

    Romario Pacsi Tito
    The document contains two logic exercises involving evaluating the truth values of compound logic statements. The first exercise evaluates the truth value of [(p→q)→s]→(q∨t) for different variable assignments. The second exercise evaluates the statement [(p→q)∧r]→[p∧(q∨r)] for the case where → evaluates to false.

    Copyright:

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

    Ejercicios 16

    {[ ( p → q ) → s ] → ( q ˅ t ) ≈ ˅ ( q˅t¿≈f
    { [( p → q ) → s ] → ( q ˅t ) ≈ f q=˅ q=f

    v → F t = ˅
    ( P → q ) → s ≈V p→f ≈ v

    V → V ≈ V f → f ≈v
    F → V ≈ V p=f

    F → F ≈ F p=˅

    s=˅

    Ejercicio : 17
    Si: [ ( p → q)˄ r ¿→ [ p ˄(q ˅ r)]≈ f
    ˅→ f
    ( p →q ) ˄ r ≈˅

    ˅ ˄ ˅ ≈˅

    You might also like