生命博弈的联合正常形式

Question

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

这里我简化了生死规则： Von Neumann de rayon 1 有活着的南，东，北邻居的牢房将会活着。 （xin：north neighbor; xie：east neighbors; xis：south neighbors） My formule 但我不知道将其更改为CNF（联合正常形式）

有人能帮助我吗？ Ť

Answer 1

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

~xinV~xie V~xis

......这只是DeMorgan定理在“实时”案件中的应用，已经在CNF。

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