若含n(n≥1)个命题变项的公式A是重言式，则A的主合取范式为( )。

求下列命题公式的主合取范式和主析取范式，并判断公式是否为重言式或矛盾式。（1) （PvQ)→（PQ)（2)

求下列命题公式的主合取范式和主析取范式，并判断公式是否为重言式或矛盾式。

(1) (PvQ)→(PQ)

(2) (P→Q)(P→Q)

(3)(R(∧Q→P))→(P→(QvR))

证明：含n个命题变元的不等值的命题公式的个数为。

已知命题公式为，则G的析取范式是______。

设A，B，C是任意的命题公式。判断下列命题是否成立。阐述理由。（1)若，则A=B。（2)若AVC=BVC，则A=B。（3)

设A，B，C是任意的命题公式。判断下列命题是否成立。阐述理由。

(1)若，则A=B。

(2)若AVC=BVC，则A=B。

(3)若，则A=B。

设A，B是命题公式，则对于命题公式间的永真蕴涵关系。