如果语句是结合(序列和s) 由一个或多个组成连接副词,每个都是一个分离(或)一个或多个字面量(即。,陈述信件和反面属于陈述信件; Mendelson 1997年,第30页)。连接正常形式的示例包括
哪里表示或,表示和、和表示不是(门德尔森1997年,第30页)。
逻辑中的每个语句都由多个,、和s可以用合取范式书写。
表达式可以使用沃尔夫拉姆语言使用以下代码:
连接范式[f_]:=不是[LogicalExpand[Not[f]]//。{非[a_Or]:>和@@(非/@列表@@a),非[a_And]:>或@@(非/@列表@@a)}
另请参见
和,析取范式,字面意义的,否定,普通形式,或,声明信件
与Wolfram一起探索| Alpha
工具书类
E·门德尔森。数学逻辑导论,第四版。伦敦:查普曼和霍尔出版社,第30页,1997年。引用的关于Wolfram | Alpha
连接范式
引用如下:
埃里克·魏斯坦(Eric W.Weisstein)。“连接范式。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ConjunctiveNormalForm.html
主题分类