さて、私は証明しなければならない同等性を持っています。これらの等価性は、二条件とブール代数を使用します。しかし、論理的等価性の法則を適用する順序がわかりません。
課題です。私は何日もの間、さまざまな答えを得るために立ち往生してきました。
-(p V (q ^ -r)) ^ q == (-p ^ q) ^ r
私は必ずしも誰かにそれを解決してもらいたいわけではありません。一般的な方法で、彼らがどのように解決するのか、そして法律を適用する順序を説明してほしいのです。そうすれば、そこから学ぶことができます。
まあ、周りを回るには非常に多くの同等物しかありません。これらの種類のクラスや数学のクラスでも、ツールボックスにはいわばいくつかのトリックしかありませんでした。ド・モルガンスの法則など。ある章で 4 ～ 5 の規則が言及されている場合がありますが、それらすべてを試してみてください。
方程式を一方向にしか動かしていない場合は、反対側からも作業すると役立つ場合があります。より良い最初の推測を特定するのに十分な経験を積むまで、それは非常にいじわるです。しかし、それをいじってみると、かなり近い操作がいくつか見られるようになり、その後、問題の解決が行われ、まだ表示されていない 1 ～ 2 個の操作が残っていることがわかります。私の最高の教授でさえ、うまくいくまで机の上で頭を殴らなければならないと私に言いました.
-(p V (q ^ -r)) ^ q
-((p V q) ^ (p V -r)) ^ q [^ 上の V の距離による]
(-(p V q) V -(p V -r)) ^ q [DeMorgan による]
((-p ^ -q) V (-p ^ r)) ^ q [DeMorgan による]
(-p ^ -q) ^ q V (-p ^ r) ^ q [^ 上の V の距離による]
-p ^ (-q ^ q) V (-p ^ r) ^ q [^ の関連付けによる]
-p ^ FV (-p ^ r) ^ q [by A ^ -A == F、F は偽 (0)]
FV (-p ^ r) ^ q [by A ^ F == F、F は偽 (0)]
(-p ^ q) ^ r [by A v F == A、F は偽 (0)]