Logic 转换为CNF（卡滞）_Logic_Cnf_Conjunctive Normal Form

Logic 转换为CNF（卡滞）

logic

Logic 转换为CNF（卡滞）,logic,cnf,conjunctive-normal-form,Logic,Cnf,Conjunctive Normal Form,我设法将一个表达式简化为以下内容（根据WolphramAlpha，原始表达式和下面的版本解析为相同的CNF）接下来呢 (~C || C || ~A) && (~A || ~B || C) 沃尔夫拉马尔法说：~A | | ~B | | C。。怎么做？这真的很容易。再次查看涉及true和false的规则。从子术语~C | | C@ghostgangler开始你的意思是这等于：（真的| | ~A）和&（~A | | ~B | C）//（~A | | ~B | C）正确吗？是的，这是

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

接下来呢

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

沃尔夫拉马尔法说：~A | | ~B | | C。。怎么做？这真的很容易。再次查看涉及

true

和

false

的规则。从子术语

~C | | C

@ghostgangler开始你的意思是这等于：（真的| | ~A）和&（~A | | ~B | C）//（~A | | ~B | C）正确吗？是的，这是正确的