用真值表方法判断下列公式的类型，并求（3）的主析取范式与主合取范式。

A、P∧┐Q；∧∧

B、┐P∧Q；∧∧

C、P∧Q；∧∧

D、┐P∧┐Q；∧∧

设G=是含有命题变元P, Q的公式，则G一定不是( )

A、主合取范式

B、主析取范式

C、析取范式

D、合取范式

A、m7∨m6∨m1

B、m2∨m3∨m8

C、m1∨m2∨m7

D、m1∨m3∨m7

求公式的主析取范式，并写出真假赋值，

此题为判断题(对，错)。