The statement pattern $(p \wedge q) \vee(\sim p \wedge q) \vee(r \wedge \sim q)$ is logical equivalent to

Question

Aicharya · Accepted Answer

$\begin{aligned} & (p \wedge q) \vee(\sim p \wedge q) \vee(r \wedge \sim q) \ & \equiv\{(p \vee \sim p) \wedge q\} \vee(r \wedge \sim q) \ & \equiv(t \wedge q) \vee(r \wedge \sim q) \ & \equiv q \vee(r \wedge \sim q) \ & \equiv(q \vee r) \wedge(q \vee \sim q) \ & \equiv(q \vee r) \wedge t \ & \equiv q \vee r\end{aligned}$

The statement pattern $(p \wedge q) \vee(\sim p \wedge q) \vee(r \wedge \sim q)$ is logical equivalent to

Solution