我认为这个逻辑问题很长一段时间了。这似乎很容易，但很难。我不知道如何使用等价来证明它。
（A-＆GT;（B-＆℃）） - ＆GT;（（A-＆GT;（C-＆GT; d）） - ＆GT;（A-＆GT;（B-＆GT; d）））
答案 0 :(得分：0)
使用A->B的定义（即~A v B）和DeMorgan定律以析取正态形式（所有ands和ors）提出等效表达式。从那里，重复应用A v ~A为真的事实将表达式简化为True。 （后者可能需要使用发布：A v (B ^ C) = (A v B) ^ (A v C)，以及A ^ (B v C) = (A ^ B) v (A ^ C)，尽管前者在这里会更有用。）