conways-game-of-life - 生命游戏的合取范式

Question

我想用minisat解决一个7*7大小的人生游戏，得到稳定的世代。

在这里，我简化了生死规则： 冯诺依曼德 rayon 1 南、东、北邻居活着的细胞将是活着的。（xin：北邻；xie：东邻；xis：南邻） 我的公式 但我不知道将其更改为 CNF（联合范式）

有人能帮我吗？吨

Answer 1

我学习 CNF 的方式，“死”公式是一个单独的分离术语：

~xin V ~xie V ~xis

...这只是将 DeMorgan 定理应用于 CNF 中已经存在的“实时”案例。

请记住，任何运算符都是析取或所有连词的表达式已经在CNF和 DNF 中。