This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: EECS 203: Homework 1 Solutions Section 1.1 1. (E) 8bef b) You do not miss the final exam if and only if you pass the course. e) If you have the flu then you do not pass the course, or if you miss the final examination then you do not pass the course. f) You have the flu and you miss the final examination, or you do not miss the final examination and you pass the course. 2. (E) 10cde c) r → p d) p ∧ ¬ q ∧ r e) ( p ∧ q ) → r 3. (E) 24abc a) Converse: If I stay at home, then it will snow tonight. Contrapositive: If I do not stay at home, then it will not snow tonight. Inverse: If it does not snow tonight, then I will not stay home. b) Converse: It is a sunny summer day whenever I go to the beach. Contrapositive: It is not a sunny summer day whenever I do not go to the beach. Inverse: I do not go to the beach whenever it is not a sunny summer day. c) Converse: When I sleep until noon, it is necessary that I stayed up late. Contrapositive: When I do not sleep until noon, it is necessary that I did not stay up late. Inverse: When I do not stay up late, it is necessary that I do not sleep until noon. 4. (E) 28ef and 32e 28 e) p q ¬ p q → ¬ p p ↔ q ( q → ¬ p ) ↔ ( p ↔ q ) T T F F T F T F F T F F F T T T F F F F T T T T f) 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 32 e) p q...
View
Full Document
 Spring '07
 YaoyunShi
 Logic, Logical connective, Double negation law, Associative and Commutative Laws

Click to edit the document details