- 博客(2)
- 收藏
- 关注
RSS订阅原创 可满足性问题与消解法
定义： 命题变项及其否定的统称为文字。不含任何文字的简单析取式为空简单析取式，记作。规定空简单析取式是不可满足的（因为对于任何赋值，空简单析取式中都没有文字为真），因而，含有简单析取式的合取范式是不可满足的。 下面用S表示合取范式，C表示简单析取式，l表示文字，设a是关于S中命题变项的赋值，用a(l),a(C),a(S)分别表示在a下l，C，S的赋值。设S和S’是两个合取范式，用SS’表示S是可满足的当且仅当S’是可满足的。 定理：C1∨C2≈Res(C1,C2) 证 (1)...
2022-05-02 15:51:38
3484
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人