已知含有3个命题变元p, q, r的命题公式[img=159x28]17da661abaee128.png[/img],则命题公式A的主合取范式的公式表示为 ( )。
未知类型:{'options': ['', '', '', ''], 'type': 102}
未知类型:{'options': ['', '', '', ''], 'type': 102}
举一反三
- 已知命题公式A=p→q共含有命题变项p,q和r,则r是公式A的哑元。
- 由n个命题变元组成不等价的命题公式的个数为( ) 未知类型:{'options': ['2n', '', '', ''], 'type': 102}
- 命题公式[img=60x32]17d60d9d5191bed.png[/img]的主析取方式为( ) 未知类型:{'options': ['', '', '', ''], 'type': 102}
- 设有代数系统G=〈A,[img=22x21]17da6cc8bde279f.jpg[/img]〉,其中A是所有命题公式的集合,[img=22x21]17da6cc8cade464.jpg[/img]为命题公式的合取运算,则G的幺元是( ) 未知类型:{'options': ['', '重言式', '矛盾式', '可满足式'], 'type': 102}
- 如下真值表,表示的是命题公式( )。[img=404x362]1802fa3cf667f9a.png[/img] 未知类型:{'options': ['', '', '', ''], 'type': 102}