大项与小项

小项

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仅出现一次,小项使用合取符号。

你可能感兴趣的:(离散数学,抽象代数)