单项选择题
设A（x）：x是鸟，B（x）：x会飞，命题“没有不会飞的鸟”符号化为（）。
A.AB.BC.CD.D
单项选择题 谓词公式（∀x）（P（x））→（∃z）Q（x，z）∧（∀y）R（x，y）中变元y（）。
多项选择题 （P→Q）∧Q的主析取范式中所含的极大极小项有（）。
多项选择题 （P→Q）∧Q的主合取范式中所含的极大极小项有（）。
