Attachment 9651
ใช้รูปแบบการสมมูล
\[\begin{array}{l}
\left( {p \wedge \sim q} \right) \vee \sim p \equiv \left( {p \vee \sim p} \right) \wedge \left( { \sim q \vee \sim p} \right)\\
\quad \quad \quad \quad \quad \quad \equiv \quad \quad T\quad \wedge \left( { \sim q \vee \sim p} \right)\\
\quad \quad \quad \quad \quad \quad \equiv \sim q \vee \sim p\\
\left( {r \vee s} \right) \wedge \left( {r \vee \sim s} \right) \equiv r \vee \left( {s \wedge \sim s} \right)\\
\quad \quad \quad \quad \quad \quad \quad \equiv r \vee \quad F\\
\quad \quad \quad \quad \quad \quad \quad \equiv r\\
then\quad \left( { \sim q \vee \sim p} \right) \Rightarrow r \equiv \sim \left( {q \wedge p} \right) \Rightarrow r\\
...
\end{array}\]
ตอบ ข้อ 3