话题
搜索

连接范式


如果语句是结合(序列s) 由一个或多个组成连接副词每个都是一个分离()一个或多个字面量(即。,陈述信件反面属于陈述信件; Mendelson 1997年,第30页)。连接正常形式的示例包括

A类
(1)
(A对B)^(!A对C)
(2)
A与B
(3)
A^(B v C),
(4)

哪里 v(v) 表示 ^ 表示、和!表示不是(门德尔森1997年,第30页)。

逻辑中的每个语句都由多个 ^  v(v) 、和!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

主题分类