设A是含n(n≥1)个命题变项的公式,若A是重言式,则A的主析取范式含极小项个数为

包含n个命题变项的重言式的主析取范式包括有小项的个数为

下列为两个命题变元P,Q的大项是

命题公式¬(P→Q)的主析取范式是______。

命题公式¬(P→Q)的主合取范式是__________。

命题公式A中含n个命题变项,A为矛盾式的条件是A的主合取范式含

在自然数集上的二元运算

求下列各公式的析取范式和合取范式。(1)¬(PⅤQ)→(P⋀Q);(2)(P⟷ Q)ⅤR;(3)(P→Q)Ⅴ（Q⋀R）

求下列各公式的主析取范式和主合取范式,并判断各式类型。 (1)(¬P→Q)→(¬QⅤP); (2)¬(P→Q)ⅤQ⋀R; (3)(¬PⅤ¬Q)→(P⟷ ¬Q); (4)PⅤ(¬P→(QⅤ(¬Q→R))); (5)(PⅤ(QⅤR)→(P⋀Q⋀R)。

使用将公式化为范式的方法证明下列各等价式。 (1)(A→B)⋀(A→C)⟺ (A→(B⋀C)); (2)(A→B)→(A⋀B)⟺ (AⅤB)⋀(B→A); (3)PⅤ(P→(PⅤQ))⟺ PⅤ-QⅤ(P⋀Q)。