Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我正在尝试将其转换为合取范式：事实∧0≤i<n ∨0≤j1,j2<n (Ci,j1 ∧ Ci,j2) 证明这比我预期的要困难得多。
∧0≤i<n ∨0≤j1,j2<n (Ci,j1 ∧ Ci,j2)
如果不将 NOT 引入非文字，我似乎无法摆脱嵌套最深的 AND。谁能告诉我如何做到这一点？