生命遊戲的聯合正常形式

Question

我想用minisat解決一個7 * 7大小的生活遊戲，以獲得穩定的世代。

在這裏，我簡化了生與死的規律： Von Neumann de rayon 1 有南，東，北鄰居活着的細胞將活着。 （XIN：北鄰;謝：東部鄰國;紅雙喜：南方鄰居） My formule 但我不知道這種改變爲CNF（合取範式）

有人能幫助我嗎？牛逼

Answer 1

我學到CNF，「死」的公式是一個轉折項的方式：

〜鑫V〜謝V〜紅雙喜

...這簡直是德摩根定理的應用已經在CNF的「活」案。

請記住，任何運營商都是disjuctions或所有連詞的表達式，已經在 CNF和DNF。