1.
If the Boolean expression (pq)(q(¬p))(p \Rightarrow q) \Leftrightarrow (q * (\neg p)) is a tautology, then the Boolean expression p(¬q)p * (\neg q) is equivalent to: