2

我正在尝试将其转换为合取范式：事实∧0≤i<n ∨0≤j1,j2<n (Ci,j1 ∧ Ci,j2) 证明这比我预期的要困难得多。

如果不将 NOT 引入非文字，我似乎无法摆脱嵌套最深的 AND。谁能告诉我如何做到这一点？

4

0 回答 0