Homework 1 Solutions

Homework 1 Solutions - a Øh4Ô Ö iÒg6ÓÑ eÛ Ó Ök# Ó...

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

View Full Document Right Arrow Icon

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

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 4

Homework 1 Solutions - a Øh4Ô Ö iÒg6ÓÑ eÛ Ó Ök# Ó...

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