命题公式 （ØP®Q) ® （ØQ∨P)的主析取范式中的极小项的个数是（）

A.1

B.2

C.3

D.4

A.P→Q , ¬Q⇒¬P

B.P, P→Q⇒Q

C.P→Q ⇔¬P∨Q

D.P ↔ Q⇔(P∧Q)∨(¬P∧¬Q)

A.三个命题变元的布尔小项ØP∧Q∧ØR的编码是m010

B.三个命题变元的布尔大项ØP Ú QÚ ØR 的编码是M101

C.任意两个不同的布尔小项的析取式必为永真式

D.任意两个不同的布尔大项的析取式必为永真式

A.﹁P∧Q

B.P∧﹁Q

C.﹁P∨Q

D.P∨﹁Q

A.p∧┐q

B.p∨┐q

C.q→p

D.p→┐q

E.┐p→q

A.110，111，100

B.110，101，011

C.所有赋值

D.无