Discrete Mathematics with Applications 4th Edition

Published by Cengage Learning
ISBN 10: 0-49539-132-8
ISBN 13: 978-0-49539-132-6

Chapter 2 - The Logic of Compound Statements - Exercise Set 2.1 - Page 38: 44

Answer

(a) and (b) are logically equivalent

Work Step by Step

let us assume 3 statements p : x$\lt$2 (so ~p : x$\geq$2) q : x$\gt$1 (so ~q : x$\leq$1) r : x$\lt$3 (so ~r : $\geq$3) so (a) converts to p ∨ ~(q ∧ r) and (b) converts to ~q ∨ (p ∧ ~r) so we have p ∨ ~(q ∧ r) ≡ p ∨ (~q ∨ ~r) [De Morgan’s law] p ∨ (~q ∨ ~r) ≡ p ∨ (~r ∨ ~q) [commutative law] p ∨ (~r ∨ ~q) ≡ (p ∨ ~r) ∨ ~q [Associative law] (p ∨ ~r) ∨ ~q ≡ ~q ∨ (p ∨ ~r) [commutative law] Hence we have (a) ≡ (b)
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.