CS2305 Spr 16

Homework #1
Assigned Jan 20, 2016 , due Jan 27 , 2016 at 11:59 PM
It is OK to submit doc, pdf or scans of handwritten answers. You must repeat the
questions or indicate clearly the question numbers. If it is handwritten, you must submit
a legible copy. Write in dark ink for the scan to be readable. If you submit a copy that
cannot be read by the grader, you may not get credit.

References are to the Textbook 7th edition.

Q1. 4 points - Prove the first distributive law on slide 8 of unit 1.3 slides, using a truth table.

Q2. 4 points - Exercise 32, p. 15, item d)

Q3. 4 points - Exercise 36, p. 15, item f)

Q4. 8 points - Exercise 18, p. 112

Q5. 10 points Exercise 6, p. 112

Q6. 10 points Exercise 18, p. 35 Read the note right above exercise 16, p. 35

Q7. 20 points - Consider this proposition r = The earth is round is a necessary condition for my grandma
wearing combat boots.

4 points - Formulate the contrapositive of r in the form of If then

4 points - Formulate the converse of r in the form of If then
4 points - Formulate the inverse of r in the form of If then
4 points - Formulate the contrapositive of r in the form of is a necessary condition for
4 points - Formulate the contrapositive of r in the form of is a sufficient condition for

Q8. 10 points - When p is F, q is T and r is F, what is the truth value of p q r?

Show all your derivation steps.

Q9. 10 points - Show that (p q) p is a tautology without using a truth table. Hint: the proposition is
an implication. Consider the different truth value cases of the hypothesis and/or conclusion where an
implication is true.

Q10. 20 points - By using the assumption p q p q and the laws on slides 6, 7, 8 of Unit 1.3 slides,
and without using a truth table, show that p q (p ->q) . Show all the derivation steps, like on
slide 11 of Unit 1.3. At each step, indicate which assumption or law you use.