1.
Let ,{,}*, \square \in \{\wedge, \vee\} be such that the Boolean expression (p¬q)(pq)(p * \neg q) \Leftrightarrow (p \square q) is a tautology. Then: