C__Documents_and_Settings_Raghu_Desktop_CS_2800_hw1-soln

C__Documents_and_Settings_Raghu_Desktop_CS_2800_hw1-soln -...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 2800 – Fall 2008 Homework #1 Solution Section 1.1 Problem 8 (c) If you miss the final exam, then you do not pass the course. (f) Either you have the flu and miss the final exam, or you do not miss the final exam and pass the course. Problem 10 (a) r ∧ ¬ q (b) p q r (c) r p (d) p ∧ ¬ q r (e) ( p q ) r (f) r ( q p ) Problem 28 (c) Truth table: p q p q p ( p q ) T T T F T F T F F T T T F F F F (f) Truth table: p q ¬ q p q p ↔ ¬ q ( p q ) ( p ↔ ¬ q ) T T F T F T T F T F T T F T F F T T F F T T F T 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Problem 44 No – this is the classic Barber’s Paradox. We will use the male pronoun in what follows, assuming that we are talking about males shaving their beards here, and assuming that all men have facial hair. If we restrict ourselves to beards and allow female barbers, then the barber could be female with no contradiction. If such a barber existed, then who shaves the barber? If the barber shaved himself, then he would be violating the rule that he shaves only those people who do not shave themselves. On the other hand, if he does not shave himself, then the rule says that he must shave himself. Neither is possible, so there can be no such barber. Section 1.2 Problem 12 (a) Assume the hypothesis is true. Then, p must be false. But ( p q ) needs to be true and hence q must be true. Alternately, one can make an algebraic argument as follows: [ ¬ p ( p q )] q [( ¬ p p ) ( ¬ p q )] q (distributing over ) [ F ( ¬ p q )] q (negation law) ( ¬ p q ) q (identity law) ≡ ¬ ( ¬ p q
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 5

C__Documents_and_Settings_Raghu_Desktop_CS_2800_hw1-soln -...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online