设T为根树，若________，则称T为m元树;若________则称T为完全m叉树。

使命题公式P→(Q∨R)的真值为F的真值指派的P、Q、R值分别是T、F、F。

命题公式(A∧(A→B))→B是一个矛盾式。

任意两个不同小项的合取为，全体小项的析取式为________。

数集合上的不等关系(≠)可确定A的一个划分。