私は論理を解決することができません

-2

私は長い間、論理質問を考えています。それは簡単だが非常に難しいようだ。私は等価性を使ってそれを証明する方法を知らない。私は論理を解決することができません

（A - >（B-> C）） - >（（A - >（C-> D）） - >（B-> D）） - >（A）定義

2016-04-12 Yunxin Zhou

それはロジックについてですので、私は、オフトピックとして、この質問を閉じるために投票しています：（前者はここより使用されるであろうが、A v (B^C) = (A v B)^(A v C)、などA^(B v C) = (A^B) v (A^C)後者は分布の使用が必要な場合があります。）と[math.se]を使用します。 – Pang

使用A->B（つまり、~A v B）とDeMorganの法則は、論理和定常形式（all andsおよびors）で同等の式を思いついています。そこから、A v ~Aが真であるという事実を繰り返し適用して、式をTrueに単純化します。

出典

2016-04-12 17:47:16

ありがとうございます。しかし、私が（A^B ^〜C）V（A^V ^〜D）V〜A V〜B V Dを考え出すと、その技術をどうやってやるのか分かりません。この質問についてさらに説明できますか？ –

私は論理を解決することができません

答えて

関連する問題