单项选择题
谓词公式（∀x）（P（x））→（∃z）Q（x，z）∧（∀y）R（x，y）中变元y（）。
A.既是自由变元又是约束变元B.是自由变元但不是约束变元C.既不是自由变元又不是约束变元D.是约束变元但不是自由变元
多项选择题 （P→Q）∧Q的主析取范式中所含的极大极小项有（）。
多项选择题 （P→Q）∧Q的主合取范式中所含的极大极小项有（）。
多项选择题 G=P→（P∧（Q→P））主析取范式中所含的极大极小项有（）。
