Homework 3

  • Rosen, Section 1.3, 14c-h. For each answer, give a brief argument about why your answer is correct.
  • For each of the following expressions, state whether it is true or not. Give an informal argument (this does not have to be a rigorous proof) about why your answer is correct. (Although the argument does not have to be a rigorous proof, it must be a convincing and accurate argument supporting your answer.)
    1. tex2html_wrap_inline187
    2. tex2html_wrap_inline189
    3. tex2html_wrap_inline191
  • Consider the following expression:

    displaymath183

    1. What is the truth value? Give a brief argument about why your answer is correct.
    2. Take the negation of the expression, simplifying as much as possible using the rules of logical equivalence.
  • Consider the following expression:

    displaymath184

    1. What is the truth value? Give a brief argument about why your answer is correct.
    2. Take the negation of the expression, simplifying as much as possible using the rules of logical equivalence.
  • Rosen, Section 1.3, 31
  • Rosen, Section 1.3, 32
  • Rosen, Section 3.1, 8a,c
  • Rosen, Section 3.1, 9





    Michael John Cramer
    Tue Oct 14 09:23:09 EDT 1997