0

ミニサットを使って7×7サイズの人生ゲームを解いて、安定した世代を手に入れたいです。

ここで、生と死のルールを単純化します。 Von Neumann de rayon 1 南、東、北の隣人が生きているセルは生きています。(xin : 北の隣人; xie : 東の隣人; xis : 南の隣人) 私の公式 ですが、これを CNF(Conjunctive normal form) に変更する方法がわかりません。

誰かが私を助けることができますか？T

4

1 に答える 1