公式法求主合取范式和主析取范式的一种思路

公式法求主合取范式和主析取范式的一种思路

---

你需要知道：

离散数学中子句和短语的定义；

文字的或是子句，文字的与是短语；

为了能够化开括号，你需要知道基本的逻辑运算规律和这个公式：
$$P\to Q=\neg P\vee Q$$
这个公式要用自然语言来描述相当抽象，姑且认为在二值逻辑世界中，真值表相同就等于同一个东西吧。

以下是具体思路：

思路描述：

离散说法：

将公式去括号；

使用 $A\vee B\wedge C=(A\vee B)\wedge (A\vee C)$ 公式将公式化为子句的合取形式，再利用$A\wedge \neg A=0$求主合取范式；

或直接是析取形式，再利用$A\vee \overline{A}=1$求主析取范式；

数电说法：

将函数去括号；

使用$A+BC=(A+B)(A+C)$公式将表达式化为或与式，再利用$A\cdot \overline{A}=0$求最大项表达式；

或直接是与或式，再利用$A+\overline{A}=1$求最小项表达式；

举栗子：

比如一个式子化成了这样：

$P\wedge Q\vee R$

如果要求主析取范式，将式子以$\vee$分割，即$(P\wedge Q)\vee (R)$ （在不改变式子运算顺序的情况下），我们知道，主析取范式每一个短语要包含全部变量，显然，$(P\wedge Q)$和$(R)$都不包含所有的三个变量，那如何呢？

我们的理解是，某部分式子如果不提及其他变量，那么其意思就是“在这部分中，未提及的变量是$X$还是$\neg X$都无所谓，即$\wedge (X\vee \neg X)$”。

所以，对于各短语，我们都可以这样，于是就有了
$$(P\wedge Q)\wedge (R\vee \neg R)\vee (R)\wedge (P\vee \neg P)\wedge (Q\vee \neg Q)$$
化开就有了
$$(P\wedge Q\wedge R)\vee (P\wedge Q\wedge \neg R)\vee (P\wedge \neg Q\wedge R)\vee (\neg P\wedge \neg Q\wedge R)\vee (\neg P\wedge Q\wedge R)$$

同理，可以求主合取范式，不过要先进行这步：

$P\wedge Q\vee R=(P\vee R)\wedge (Q\vee R)$

这样，公式就以$\wedge$分割了（不可以$(P)\wedge (Q\vee R)$这样划，这样改变了运算顺序，强行让$Q\vee R$先进行了运算），接下来的操作就与之前一致了；
$$\begin{array}{rl}(P\vee R)\wedge (Q\vee R)& =((P\vee R)\vee (Q\wedge \neg Q))\wedge ((Q\vee R)\vee (P\wedge \neg P))\\ & =((P\vee R\vee Q)\wedge (P\vee R\vee \neg Q))\wedge ((P\vee R\vee Q)\wedge (\neg P\vee R\vee Q))\\ & \\ & A+BC=(A+B)(A+C)\leftrightarrow (P\vee R)作为A\end{array}$$

总结一下：

化到这里的时候，对于一个子句或短语，没有的变量就是“啥都行”

$(P\wedge Q)\vee (R)$中，$(P\wedge Q)$意思就是$P\wedge Q$这个短语再与个啥都行
$$(P\wedge Q\wedge R)\vee (P\wedge Q\wedge \neg R)\Rightarrow (P\wedge Q)$$
$P\wedge Q\vee R=(P\vee R)\wedge (Q\vee R)$$(P\wedge Q)\vee (R)$中，$P\vee Q$意思就是$P\vee Q$这个子句再或个啥都行

$$(...)\Rightarrow (...)$$

这样貌似就不用上面那么复杂了，直接可以写出答案，在数电中一样适用（其实是一样的）。