生命游戏的合取范式

Question

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

这里我简化了生死法则： Von Neumann de rayon 1 拥有南、东和北邻居活着的牢房将是活着的。 （xin：北邻；xie：东邻；xis：南邻） My formule 但我不知道将其更改为 CNF(Conjunctive normal form)

有人可以帮助我吗？ T

Answer 1

按照我学习 CNF 的方式，“死”公式是一个单独的析取项：

~新V~xieV~xis

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

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