**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} $