第一章命题逻辑 1.4 析取范式与合取范式

最新推荐文章于 2024-10-07 14:30:17 发布

梦里一声何处鸿

最新推荐文章于 2024-10-07 14:30:17 发布

阅读量3.1w

点赞数 56

分类专栏：离散数学文章标签：范式详解

本文链接：https://blog.csdn.net/Deam_swan_goose/article/details/98214619

版权

离散数学专栏收录该内容

33 篇文章 82 订阅

订阅专栏

1.4 析取范式与合取范式

这一小节内容较多，我们由浅入深的来。首先要明白简单析取式和简单合取式的定义。

定义：我们将命题变项及其否定统称作 $\red{文字}$ 。 $\red{简单析取式}$ 是仅由有限个文字构成的析取式。 $\red{简单合取式}$ 是仅由有限个文字构成的合取式。

注意：一个简单文字既是简单析取式，又是简单合取式。

例如：

p ， ¬q既是一个简单析取式，又是一个简单合取式
p $\vee$ ¬q , p $\vee$ r 均是有两个文字的简单析取式
p $\wedge$ q $\wedge$ r , ¬ p $\wedge$ q $\wedge$ ¬q 均是有三个文字的简单合取式

性质：

一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定式。
一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定式。

定义：

1. 由有限个 $\red{简单合取式}$ 构成的 $\red{析取式}$ 被称为 $\red{析取范式}$

2.由有限个 $\red{简单析取式}$ 构成的 $\red{合取式}$ 被称为 $\red{合取范式}$

3. 析取范式与合取范式统称为 $\red{范式}$

性质：

一个文字既是一析取范式又是一合取范式
一个析取范式为矛盾式，当且仅当它的每个简单合取式都是矛盾式
一个合取范式是重言式当且仅当它的每一个简单析取式都是重言式

范式存在定理：任一命题公式都存在着与之等值的析取范式与合取范式。

例题2
范式，顾名思义即规范的式子。我们想找到对某一命题公式有唯一规范的式子，显然析取范式和合取范式还不能达到我们的目的。所以我们又在此基础上对析取范式和合取范式加一些限制，使得他们的形式是唯一的。即引申出主析取范式和主合取范式。而主析取范式和主合取范式分别是由极小项和极大项组成的。

定义：

极小项：包含公式A中 $\red{每一个}$ 命题变元或其否定 $\red{一次且仅一次}$ 的简单合取式

极大项：包含公式A中 $\red{每一个}$ 命题变元或其否定 $\red{一次且仅一次}$ 的简单析取式

主析取范式：设由n个命题变项构成的析取范式中所有的简单合取范式都是极小项，则称该析取范式为主析取范式

主合取范式：设由n个命题变项构成的合取范式中所有的简单析取范式都是极大项，则称该合取范式为主合取范式

1.若 $A$ 的主析取范式中不含任何极小项，则 $A$ 的主析取范式为 $\red{0}$

2.若 $A$ 的主合取范式中不含任何极大项，则 $A$ 的主合取范式为 $\red{1}$

定理：任何命题公式的主析取范式（主合取范式）都是存在的，并且是 $\red{唯一}$ 的

对此定理的证明也是主析取范式（主合取范式）的求解过程，如下：

主析取范式的求解
主合取范式的求解

例题：

主析取范式例题
这个转化过程看似很麻烦，其实求出析取范式后只需一步便可转化为主析取范式。如下：

析取范式中第一项：（¬ p $\wedge$ ¬ q） $\Leftrightarrow$ $m_{000}$ $\vee$ $m_{001}$ 二进制转十进制为 $m_{0}$ $\vee$ $m_{1}$
析取范式中第二项：（¬ p $\wedge$ ¬ r） $\Leftrightarrow$ $m_{000}$ $\vee$ $m_{010}$ 二进制转十进制为 $m_{0}$ $\vee$ $m_{2}$
析取范式中第二项：（ p $\wedge$ q $\wedge$ r） $\Leftrightarrow$ $m_{111}$ 二进制转十进制为 $m_{7}$

$\therefore$ 主析取范式为 $m_{0}$ $\vee$ $m_{1}$ $\vee$ $m_{2}$ $\vee$ $m_{7}$ 即 $\sum (0,1,2,7)$
主合取范式例题
同上，这个也可以简便转化，如下：

合取范式中第一项：（¬ p $\vee$ q） $\Leftrightarrow$ $M_{100}$ $\wedge$ $M_{101}$ 二进制转十进制为 $M_{4}$ $\wedge$ $M_{5}$
合取范式中第二项：（¬ p $\vee$ r） $\Leftrightarrow$ $M_{100}$ $\wedge$ $M_{110}$ 二进制转十进制为 $M_{4}$ $\wedge$ $M_{6}$
合取范式中第二项：（ p $\vee$ ¬q $\vee$ ¬r） $\Leftrightarrow$ $M_{011}$ 二进制转十进制为 $M_{3}$