生命游戏的正常形式

Question

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

在这里，我简化了生与死的规则：冯·诺依曼人造丝1有南、东、北邻居活着的牢房也会活着。（xin：北邻；xie：东邻；xis：南邻）我的公式但我不知道该把它改成CNF（连接范式）

有人能帮我吗？T

Answer 1

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

~新V~谢V~轴

这只是德摩根定理在"活"情况下的应用，这已经在CNF中了。

记住，任何运算符都是分离符或连词的表达式，都已经在CNF和DNF中了。