Scribd Logo
Upload

Welcome to Scribd!

  • Logic in Computer Science Quiz 1 Total: 10 Marks Time: 25 Minutes

    Uploaded by

    Meghana Gupta
    9 views1 page
    This document appears to be a quiz on logic in computer science. It contains 5 questions testing skills such as constructing well-formed formulas with certain properties, proving properties of well-formed formulas, checking validity and satisfiability of formulas, and writing derivation trees, sequences, and subformulas for a given well-formed formula. The quiz is out of 10 total marks and allows 25 minutes to complete.

    Original Description:

    Logic in computer science quiz

    Original Title

    quiz1

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document appears to be a quiz on logic in computer science. It contains 5 questions testing skills such as constructing well-formed formulas with certain properties, proving properties of well-formed formulas, checking validity and satisfiability of formulas, and writing derivation trees, sequences, and subformulas for a given well-formed formula. The quiz is out of 10 total marks and allows 25 minutes to complete.

    Copyright:

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

    Logic in Computer Science Quiz 1 Total: 10 Marks Time: 25 Minutes

    Uploaded by

    Meghana Gupta
    This document appears to be a quiz on logic in computer science. It contains 5 questions testing skills such as constructing well-formed formulas with certain properties, proving properties of well-formed formulas, checking validity and satisfiability of formulas, and writing derivation trees, sequences, and subformulas for a given well-formed formula. The quiz is out of 10 total marks and allows 25 minutes to complete.

    Copyright:

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

    Logic in Computer Science

    Quiz 1
    Total: 10 marks Time : 25 minutes
    1. Construct well formed formulas (w ) and and expressions and such that
    ( ) = ( ). (1Marks)
    2. Construct a w of length 13 and height 5. (1Marks)
    3. Prove that every w has balanced parenthesis. (3Marks)
    4. Check validity and satisability of the following formulas.
    (((p q) p) p)
    (((p q) r) s)
    (2Marks)
    5. Write the derivation tree, derivation sequence and set of all subformulas of the w
    ((p (q r)) ((p q) ((r) (p)))) (3Marks)

    You might also like