我无法解决逻辑

logic

2016-04-12 69 views -2 likes

-2

我觉得很长一段时间的逻辑问题。这似乎很容易，但非常困难。我不知道如何使用等价性来证明它。我无法解决逻辑

（A - >（B-> C）） - >（（A - >（C-> d）） - >（A - >（B-> d）））

来源

2016-04-12 Yunxin Zhou

我投票作为题外话，因为它是关于逻辑关闭这个问题和[math.se]而不是编程或编码。 – Pang

回答

使用定义的A->B（即，~A v B）和德摩根定律提出了一个等价的表达式在析取正常形式（alls和ors）。从那里，重复应用A v ~A为真的事实，以将表达式简化为True。（后者可能需要使用分布的：A v (B^C) = (A v B)^(A v C)，以及A^(B v C) = (A^B) v (A^C)，尽管前者会更多的使用在这里。）

来源

2016-04-12 17:47:16

非常感谢。但是当我拿出（A^B ^〜C）V（A^V ^〜D）V〜A V〜B V D我不知道该怎么做技术。你能解释一下这个问题吗？ –

我无法解决逻辑

回答

相关问题