生命游戏的合取范式

Question

我想用minisat来解决一个7*7大小的游戏，以获得稳定的世代。

这里我简化了生与死的规则：Von Neumann de rayon 1，细胞谁有南，东和北邻居活着，将是活的。(xin :北邻居；xie :东邻居；xis :南邻居)合取范式( My formule )，但我不知道如何将其更改为CNF(合取范式)

有人能帮我吗？T

Answer 1

根据我学习CNF的方式，"dead“公式是一个单独的析取项：

~xin V ~xie V ~xis

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

请记住，任何运算符都是析取或全部合取的表达式，都已经在中使用了 CNF和DNF。