给定一个命题公式,求其主析取范式,主合取范式
时间: 2023-06-12 11:07:25 浏览: 231
求公式的主合取范式和主析取范式
5星 · 资源好评率100%
为了方便说明,我们假设命题公式为 $p \lor (q \land r)$。
**主析取范式**:
首先,我们将 $q \land r$ 展开为 $(q \land r \land T)$,其中 $T$ 表示真值。然后,我们可以使用分配律将 $p \lor (q \land r \land T)$ 转化为 $(p \lor q) \land (p \lor r \lor T)$,这就是该命题的主析取范式。
因此,$p \lor (q \land r)$ 的主析取范式为 $(p \lor q) \land (p \lor r \lor T)$。
**主合取范式**:
我们可以使用德摩根定理将 $p \lor (q \land r)$ 转化为 $\neg(\neg p \land \neg(q \land r))$。然后,我们可以继续使用德摩根定理将 $\neg(q \land r)$ 转化为 $\neg q \lor \neg r$。因此,命题的主合取范式为 $\neg(\neg p \land \neg q \land \neg r)$。
因此,$p \lor (q \land r)$ 的主合取范式为 $\neg(\neg p \land \neg q \land \neg r)$。
阅读全文