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