标签： logic cnf conjunctive-normal-form
我设法将表达式简化为以下内容（根据WolphramAlpha，原始表达式和下面的版本都解析为相同的CNF）。
下一步是什么？
(~C || C || ~A) && (~A || ~B || C)