This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: a Øh4Ô Ö iÒg6ÓÑ eÛ Ó Ök# Ó ÐÙ Ø iÓÒ ×bÝ iÑC a ÐÐahaÒ § 1.1 Problem 8 ( a ): “If you have the flu then you miss the final exam.” ( b ): “You don’t miss the final exam if and only if you pass the course.” ( c ): “If you miss the final exam then you do not pass the course.” ( d ): “You have the flu or you miss the final exam or you pass the course.” ( e ): “It is either the case that, if you have the flu you don’t pass the course, or that, if you miss the final exam you don’t pass the course.” ( f ): “Either you both have the flu and miss the final exam, or else you both take the exam and pass the course.” § 1.1 Problem 11 ( a ): r ∧ ¬ p ( b ): ¬ p ∧ q ∧ r ( c ): r → ( q ↔ ¬ p ) ( d ): ¬ q ∧ ¬ p ∧ r ( e ): ( q → ( ¬ r ∧ ¬ p )) ∧ ¬ ( ( ¬ r ∧ ¬ p ) → q ) ( f ): ( p ∧ r ) → ¬ q § 1.1 Problem 24 ( a ): p p → ¬ p T F F T ( b ): p p ↔ ¬ p T F F F ( c ): p q p ⊕ ( p ∨ q ) T T F T F F F T T F F F ( d ): p q p ∧ q p ∨ q ( p ∧ q ) → ( p ∨ q ) T T T T T T F F T T F T F T T F F F F T ( e ): p q q → ¬ p p ↔ q ( q → ¬ p ) ↔ ( p ↔ q ) T T F T F T F T F F F T T F F F F T T T 1 ( f ): p q p ↔ q p ↔ ¬ q ( p ↔ q ) ⊕ ( p ↔ ¬ q ) T T T F T T F F T T F T F T T F F T F T § 1.1 Problem 45: Let M =“The system is in multiuse state,” N =“The system is operating normally,” K =“The kernel is functioning” and I =“The system is in interrupt mode.” We have the statements M ↔ N N → K K ∨ I ¬ M → I ¬ I We could use a truth table with 16 lines to determine whether it is possible for all the statements to be true at the same time. However, that’s tedious. Instead, let’s try to satisfy them all and see what the truth valuesat the same time....
View
Full
Document
This note was uploaded on 07/12/2008 for the course MAT 243 taught by Professor Callahan during the Spring '06 term at ASU.
 Spring '06
 CALLAHAN

Click to edit the document details