2

これを接続法標準形に変換しようとして∧0≤i<n ∨0≤j1,j2<n (Ci,j1 ∧ Ci,j2) いますが、これは予想よりもはるかに難しいことがわかっています。

非リテラルに NOT を導入せずに、最も深くネストされた AND を取り除くことはできないようです。誰でもこれを行う方法を教えてもらえますか?

4

0 に答える 0