形式化5：否定范式NNF

廊桥晚钟

于 2022-07-12 12:23:38 发布

阅读量789

点赞数

分类专栏：形式化方法文章标签：算法大数据

本文链接：https://blog.csdn.net/weixin_47539430/article/details/125740623

版权

形式化方法专栏收录该内容

13 篇文章 7 订阅

订阅专栏

NNF规约

否定范式具有如下的规定：

否定仅出现在原子变量前
没有蕴含符 $\to$

如下：

$\begin{aligned} P ::&= P \\ &|\ \neg P \\ &|\ \top \\ &|\ \bot \\ &|\ P\lor P \\ &|\ P\land P \end{aligned}$

转化为NNF

$\begin{aligned} C(P) &= P \\ C(\sim P) &= \sim P \\ C(\sim \sim P) &= C(P) \\ C(P\land Q) &= C(P)\land C(Q) \\ C(P\lor Q) &= C(P)\lor C(Q) \\ C(\sim (P\land Q)) &= C(\sim P)\lor C(\sim Q) \\ C(\sim (P\lor Q)) &= C(\sim P)\land C(\sim Q) \\ C(P \to Q) &= \sim C(P)\lor C(Q) \\ \end{aligned}$

例题1

$\begin{aligned} C(p \to (q \to p)) &= \sim C(p) \lor (q \to p) \\ &= \sim p \lor (\sim C(q) \lor C(p)) \\ &= \sim p \lor (\sim q \lor p) \qquad [nnf-ok,\ but\ further] \\ &= \sim p \lor p \lor \sim q \\ &= \top \end{aligned}$

例题2

$\begin{aligned} C&(\sim ((p1 \land \sim p2) \lor (p3 \lor \sim p4))) \\ &= C(\sim (p1 \land \sim p2)) \land C(\sim (p3 \lor \sim p4)) \\ &= (C(\sim p1) \lor C(\sim (\sim p2))) \land (C(\sim p3) \land C(\sim (\sim p4))) \\ &= (\sim p1 \lor p2) \land (\sim p3 \land p4) \end{aligned}$

廊桥晚钟

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
形式化5：否定范式NNF

否定范式具有如下的规定：如下：P::=P∣ ¬P∣ ⊤∣ ⊥∣ P∨P∣ P∧P\begin{aligned}P ::&= P \\ &|\ \neg P \\ &|\ \top \\ &|\ \bot \\ &|\ P\lor P \\ &|\ P\land P\end{aligned}P::=P∣ ¬P∣ ⊤∣ ⊥∣ P∨P∣ P∧PC(P)=PC(∼P)=∼PC(∼∼P)=C(P)C(P∧Q)=C(P)∧C(Q)C(P∨Q)=C(P)∨C(Q)C(∼
复制链接

扫一扫