谓词公式（∀x）（P（x））→（∃z）Q（x，z）∧（∀y）R（x，y）中变元y（）。

多项选择题（P→Q）∧Q的主析取范式中所含的极大极小项有（）。

A.¬P∨Q
B.P∧Q
C.¬P∧¬Q
D.¬P∧Q
E.¬P∨¬Q
F.P∧¬Q
G.无
H.P∨Q
I.P∨¬Q

多项选择题（P→Q）∧Q的主合取范式中所含的极大极小项有（）。

A.P∧Q
B.¬P∧Q
C.¬P∨Q
D.¬P∧¬Q
E.P∨¬Q
F.P∨Q
G.P∧¬Q
H.无
I.¬P∨¬Q

多项选择题G=P→（P∧（Q→P））主析取范式中所含的极大极小项有（）。

A.P∨¬Q
B.¬P∧¬Q
C.无
D.P∧Q
E.¬P∨¬Q
F.¬P∧Q
G.P∧¬Q
H.¬P∨Q
I.P∨Q

多项选择题命题公式P∧Q的能成假赋值的P，Q的值为（）。

A.01
B.00
C.10
D.11

多项选择题命题公式P→Q的能成真赋值的P，Q的值为（）。

A.11
B.10
C.00
D.01