小项

n个命题变元的简单合取式，称作小项，其中每个命题变元与它的否定不能同时存在，但每个命题变元必须出现且仅出现一次。 n个命题变元的小项有2^n个

 小项的编码：mi，其中i是使得小项等于1的一组指派的二进制表示。

大项

n个命题变元的简单析取式，称作大项，其中每个命题变元与它的否定不能同时存在，但每个命题变元必须出现且仅出现一次。 n个命题变元的大项有2^n个

 

大项的编码：Mi，其中i是使得大项等于0的一组指派的二进制表示。

 

试题

1、小项（P∧Q∧R）的编码为_______。

【答案】m111

 2、命题公式 P∨¬Q∨¬R对应的二进制编码大项为_______。

【答案】M011

3、命题公式¬P∧Q∧¬R的小项编码为__________。

【答案】m010 

4、下列为两个命题变元P，Q的小项是（　　　）

 A．P∧Q∧¬P          B．¬P∨Q

 C．¬P∧Q               D．¬P∨P∨Q

【答案】C，PQ仅出现一次，小项使用合取符号。