命题公式¬(P∧Q)∧(P∨Q)的主合取范式用编码表示为__________________。

等价关系需要满足自反性、__________________和__________________。

M(x):x是人，S(x):x喜欢游泳，用谓词表达式写出命题“并不是所有的人都喜欢游泳”:__________________。

谓词公式∃xF(x)∧G(x,y)中量词∃x的辖域是__________________。

设A={甲，乙},B={乙，丙},则集合A×{乙}×B的成员是__________________。

设f:R→R,f(x)=x2+1;g:R→R,g(x)=x-1,则f○g(x)=__________________。

设< A,+,× >是一个代数系统，∀a,b,c∈A,写出运算+对运算×的分配律__________________。

设< L,≤ >是一个格，公式a∨(a∧b)≤ b的对偶公式是__________________。

判断命题公式Q→(P∨Q)与¬Q∧(P∨Q)是否等值。

求命题公式¬(P∧Q)→R的主合取范式中含有大项的个数。