标签: boolean logic
我正在尝试将其转换为合并正常形式:∧0≤i<n ∨0≤j1,j2<n (Ci,j1 ∧ Ci,j2) 这证明比我预期的要困难得多。
∧0≤i<n ∨0≤j1,j2<n (Ci,j1 ∧ Ci,j2)
我似乎无法在没有向非文字引入NOT的情况下摆脱最深层的AND。谁能告诉我怎么做?