¬(PⅤQ)→(P⋀Q)的合取范式是____________。

简单析取式¬P⋁Q⋁R的大项编码为_________。

请写出表示分配律的两个命题公式等价定理_____________，______________。

谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中变元x是______。

设论域为整数集，下列命题中真值为假的是

设F(x)：x是火车；G(y)：y是汽车；H(x，y):x比y快；则下列语句可以表示成公式∃x(F(x)→∀y(G(y)⋀H(x,y)))的是

设F(x):x是在美国的留学生,G(y):y是亚洲人。命题“并不是所有在美国的留学生都是亚洲人”可符号化为

令F(x):x是火车,G(y):y是汽车,H(x,y):x比y快,则命题“说火车都比汽车快是不对的”的符号化形式为

下列式子不是谓词合式公式的是

谓词公式∀x(F(x)Ⅴ∃yS(y))→Q(x)中量词x的辖域是______。