Use the truth tables method to determine whether (\neg p \vee q) \wedge(q \rightarrow \neg r \wedge \neg p) \wedge(p \vee r) \text { is satisfiable }