问答题 设A（x）为下列各公式： ①（∀y）P（y，f（x，y））→Q（x） ②（∀z）（P（z）→Q（x）） ③（∀y）P（f（y））∧Q（x，y，z） ④（∀y）P（x，f（x），y）→（∀z）Q（g（x），z） 设t是h（x，z），指出t对于各公式中的x是否自由？

问答题 设G与它的补图的边数分别为m1和m2，试确定G的阶数n。

问答题 （x）（y）（P（x，y）∨Q（y，z））∧（x）R（x，y）求前束析取范式