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: 40

Answer

tautology

Work Step by Step

$(p\land q)\lor(\lnot p \lor (p \land \lnot q))$ $\underline{\ p\ |\ q\ |\ \lnot p\ |\ \lnot q\ |(p\land q)\lor(\lnot p \lor (p \land \lnot q))|result}$ $T\ |\ T|\ \ \ F\ |\ \ F\ |(T\land T)\lor(F \lor (T \land F))|\ \ \ \ T$ $T\ |\ F|\ \ \ F\ |\ \ T\ |(T\land F)\lor(F \lor (T \land T))|\ \ \ \ T$ $F\ |\ T|\ \ \ T\ |\ \ F\ |(F\land T)\lor(T \lor (F \land F))|\ \ \ \ T$ $F\ |\ F|\ \ \ T\ |\ \ T\ |(F\land F)\lor(T \lor (F \land T))|\ \ \ \ T$
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.