分别用真值表法和等值演算法求下面命题公式的主析取范式与主合取范式，判断各公式的类型，并写出其相应的成真赋值和成假赋值。 （1)P®（Q®R)。 （2)（P®（Q∨R))∧（ØP∨（Q«R))。

A.含有3个命题变项的命题公式，如果它的主析取范式中含有8个极小项，则该命题公式为永真式（重言式）。

B.任何命题公式的主析取范式都是存在且唯一的。

C.命题公式的主析取范式中每个极小项的成真赋值都是该命题公式的成真赋值。

D.命题公式的主合取范式中每个极大项的成假赋值都是该命题公式的成假赋值。

A.范式

B.析取范式

C.合取范式

D.主析取范式

A.m7∨m6∨m1

B.m2∨m3∨m8

C.m1∨m2∨m7

D.m1∨m3∨m7

A.m7∨m6∨m1

B.m2∨m3∨m8

C.m1∨m2∨m7

D.m1∨m3∨m7

A.M0∧M3∧M4∧M5∧M7

B.M0∧M3∧M4∧M5∧M6

C.M1∧M3∧M4∧M5∧M6

D.M0∧M3∧M5∧M6

A.如果2是偶数，那么一个命题公式的析取范式惟一

B.如果2是偶数，那么一个命题公式的析取范式不惟一

C.如果2是奇数，那么一个命题公式的析取范式惟一

D.如果2是奇数，那么一个命题公式的析取范式不惟一

A.1

B.2

C.3

D.4