In 48 and 49 below, a logical equivalence is derived from

Chapter 2, Problem 48E

(choose chapter or problem)

In 48 and 49 below, a logical equivalence is derived from Theorem 2.1.1. Supply a reason for each step.

\((p \wedge \sim q) \vee(p \wedge q) \equiv p \wedge(\sim q \vee q)\) by (a)

                                                     

                                                         \(\equiv p \wedge(q \vee \sim q)\) by (b)

                                                               \(\equiv p \wedge \mathbf{t}\) by (c)

                                                                                           \(\equiv p\) by (d)

Therefore , \((p \wedge \sim q) \vee(p \wedge q) \equiv p\).

 

Text Transcription:

(p wedge sim q) vee(p wedge q) equiv p wedge(sim q vee q)

equiv p wedge(q vee sim q)

equiv p wedge t

equiv p

(p wedge sim q) vee(p wedge q) equiv p

Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.

Becoming a subscriber
Or look for another answer

×

Login

Login or Sign up for access to all of our study tools and educational content!

Forgot password?
Register Now

×

Register

Sign up for access to all content on our site!

Or login if you already have an account

×

Reset password

If you have an active account we’ll send you an e-mail for password recovery

Or login if you have your password back