0

我设法将表达式简化为以下表达式（根据 WolphramAlpha，原始表达式和下面的版本都解析为相同的 CNF）。

接下来是什么？

(~C || C || ~A) && (~A || ~B || C)
4

0 回答 0