转换为合取范式

时间:2012-10-27 20:27:31

标签: boolean logic

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

我似乎无法在没有向非文字引入NOT的情况下摆脱最深层的AND。谁能告诉我怎么做?

0 个答案:

没有答案