[QAZ] Prove that the following clause is constant: $ p \wedge (\overline {q \Rightarrow p}) $

Question:
Prove that the following clause is constant: $ p \wedge (\overline {q \Rightarrow p}) $

Answer
We have:
$ \begin {array} {l}
p \wedge \left ({\overline {q \Rightarrow p}} \right) \equiv p \wedge \left ({q \vee \bar p} \right)
\equiv p \wedge q \wedge \bar p
\equiv p \wedge \bar p \wedge q = 0

\end {array} $