问答题 设个体域为D ={a1，a2}，求谓词公式∀y ∃xP （x ，y ）消去量词后的等值式。

问答题 求命题公式（P∨Q）→（R∨Q）的主析取范式、主合取范式。

问答题 A={a，b，c}，B={1，2}，令a1=P（A），a2=A->B，构造一个a1到a2的双射函数，再构造一个a2到a1的双射函数。