これらの質問のいずれかが私の課題に出てくるたびに、私はそれを間違えます...誰か私が理解するのを手伝ってくれますか? それとも先生の鍵が外れていますか？（正しい答えが与えられていないので、私が知る方法はありません。それは、私の答えが間違っていることを知らせるだけです。）
と を仮定
x = 7しy = 5ます。ド・モルガンの法則を適用して、次の論理式と同等である以下の論理式を選択します。!(x>5)||!(y>7)(a)
!(x>5)&&!(y>7)(ロ)
!((x>5)||(y>7))(c)
!(x>5)&&(y>7)(ニ)
(x>5)||!(y>7)(e)上記のいずれでもない
私は答えとして B を選択しますが、これまでのところすべて間違っているので、助けなしで続行することを恐れています.
私がこれを理解している方法は、次のよう!に変更して、ステートメント全体の前に置くことで、2 つを 1つに統合できるということです。
!(a)||!(b)
に
!((a)||(b))
ウィキペディアによると、ド・モルガンの法則 (私にとっては知っていることでした) は
NOT (P AND Q) = (NOT P) OR (NOT Q)
あなたの質問では、 P は にマッピングされ(x>5)、 Q は にマッピングされ(y>7)ます。したがって!((x>5)&&(y>7))、あなたの答えです。しかし、あなたのリストにはそのようなものはありません。(これがあなたの本当の質問である場合、あなたの先生はずさんです。提案された回答の 1 つだけに二重丸括弧があり、これは大きな手がかりです。|| がまだ使用されているため b を除外し、二重丸括弧がないために他のものを除外できます。かっこ、e に直行します。)
これらのことを静止させることが本当にできない場合は、質問が提供するサンプル値を使用してください。(必要に応じて補ってください。)x>5は x=7 の場合に当てはまります。y>7y=5 の場合は false です。!true || !falseつまり、これは、false || trueこれはtrueです。可能な式をそれぞれ評価し、同じ答えにならない式を除外します。それでもわからない場合は、別のサンプル値を選択して繰り返します。考えられる答えの 1 つが一致し続けるか、どれも一致しないため、「上記のいずれでもない」を選択します。理由がよくわからなくても、そうすれば点数を獲得できます。
その理由は、 と の動作が逆だから&&です||。true from を取得する唯一の方法&&は、両側に true を使用することです。false を取得する唯一の方法||は、両側に false を使用することです。でパラメーターを反転すると!、演算子を反転して反対の結果を得ることができます。
ここで、ド・モルガンの法則を見てください: http://en.wikipedia.org/wiki/De_Morgan 's_laws ! ご説明のとおりではありませんが、
NOT (P AND Q) = (NOT P) OR (NOT Q)
NOT (P OR Q) = (NOT P) AND (NOT Q)
AND が OR になることに注意してください。OR が AND になるのと同じように。否定 (NOT) は引数に入ります。
したがって、最初のルールはasおよびas!(x>5) || !(y>7)の右側と同じであるため適用されます。最初に演算子を(OR) から(AND) に変更し、次に(NOT) を前に置きます。結果はP(x>5)Q(y>7)||&&!
!(x>5) || !(y>7) = !((x>5) && (y>7))
これは、括弧があれば c のように見え、|| の代わりに && があれば b のように見えます。まさにこれらのオプションで、答えは e です。
いいえ、機能する変換は!(a)||!(b)-> !(a && b)- 変換されたバージョンの "or" ではなく "and" です。
あなたの表現は
!(x>5)||!(y>7) == (x <= 5) || (y <= 7)
それらのどれとも一致しないと思います。私ならEに行きます。
ド・モルガンの法則には次のように書かれています。
演算子も共役する必要があることに注意してください。
この例は、思考プロセスを明確にするのに役立ちます。
赤でも球でもないものが欲しければ、私が求めているのは赤でも球でもない。ただし、赤ではないものとボールが必要な場合は、赤でもボールでもないオブジェクトを探しています。
したがって、式の再加工は次のようになります
!((x>5)&&(y>7))
与えられていないもの (e)。
ただし、x=7 かつ y=5 の場合、(x>5) しかし !(y>7) であるため、式 !(x>5)||!(y>7) は true と評価されます。たとえば、赤ではない (x>5) またはボールではない (y>7) ものが必要で、赤いバケツ ( false || true ) が与えられます。
[編集] 入力が遅すぎます。
ド・モルガンの法則 (2 つありますが、対称的なものがあります) を適用すると、次のように変化します。
!(x>7) || !(y>5)
の中へ：
!( (x>7) && (y>5) )
オプション c が本来あるべきものだと思いますが、あなたが書いた方法では外部ブラケットがありません。ほとんどすべてが正しくなりましたが、オペレーターも変更されることを忘れていました。
De Morgan ルールを処理するために私が知っている最も簡単な方法を次に示します。次のようなものがあるとします: ( (A) OP (B) ) ここで、OP は「or」または「and」のいずれかです。外部ブラケットが冗長であっても、必ずすべてのブラケットを記述してください。ここで、すべての括弧を否定し、演算子を「or」から「and」に、またはその逆に切り替えます。したがって、次のようになります: !( !(A) OTHER_OP !(B) ) これで、通常、削除できる二重否定になります。ただし、正しい構造 (3 つの括弧と対応する演算子) を特定することが重要です。
DeMorgan の法則はトグルと考えることができます。
P, Q を命題とし、OP を {AND, NOT} の元とする。次に、次のことが成り立ちます。
NOT (P OP Q) = (NOT P) (NOT OP) (NOT Q)
ここで、「NOT AND」は OR を表し、「NOT OR」は AND を表します。DeMorgan の法則は、すべての真理値と演算子を切り替えるだけです。