論理式を簡略化する問題なのですがよくわからないので
教えて頂きたいです。
式は(B eqv A) xor B and A です。
まず公式で
A eqv B=notA xor B=A xor notBなので
(notB xor A) xor B and A=(A xor notB) xor B and A「xorの交換則」
=A xor notB xor B and A「xorの結合則」
=A xor True and A
=A xor A=False
となったのですがA eqv BをB xor not Aにすると
(B xor notA) xor B and A=(not A xor B) xor B and A
=not A xor B xor B and A
=not A xor F and A
=not A xor F
=not A
となってしまい答えが違ってしまいます。
やはり計算順序がおかしいのでしょうか?
回答お願いします<(_ _)>
No.2ベストアンサー
- 回答日時:
#1です。
a#1の補足に書かれた演算の優先順位が間違っているようです。
>(3)優先度は()>NOT>AND>OR>XOR>IMP>EQVです。
最後の2つの優先順位が逆です。
正しくは参考URLにあるように
()>NOT>AND>OR>XOR>EQV>IMP…(◆)
です。
最初の質問の式の間違い箇所について
論理演算の優先順位(◆)に違反して計算しています。
>=A xor notB xor B and A「xorの結合則」
>=A xor True and A
演算の優先度は「notB xor B」より「B and A」の優先度の方が高いので
「notB xor B=True」の演算はできないので、ここで演算が間違った。
> =not A xor B xor B and A
> =not A xor F and A
ここでも演算の優先度の高い「B and A」を無視して
演算の優先度の低い「B xor B=False」の演算を先に演算して、
間違った。
A#1の補足の論理式の簡単化について
論理式=False
になります。
簡単のために、True=1,False=0で表し、(A,B)の全ての組み合わせに対して与えられた論理式を計算してみると
(A,B)=(0,0)の時
((B eqv A) imp ((B eqv A)xor B and A) or B)xor(B and A and((B eqv A)xor B and A)imp B and A and ((B eqv A) xor B and A))
=( 1 imp ( 1 xor 0 ) or 0)xor( 0 and( 1 xor 0 )imp 0 and ( 1 xor 0 ))
=( 1 imp 1 or 0)xor( 0 and 1 imp 0 and 1 )
=( 1 imp 1 )xor( 0 imp 0 )
= 1 xor 1
= 0
(A,B)=(0,1)の時
((B eqv A) imp ((B eqv A)xor B and A) or B)xor(B and A and((B eqv A)xor B and A)imp B and A and ((B eqv A) xor B and A))
=( 0 imp ( 0 xor 0 ) or 1)xor( 0 and( 0 xor 0 )imp 0 and ( 0 xor 0 ))
=( 0 imp 0 or 1)xor( 0 and 0 imp 0 and 0 )
=( 0 imp 1 )xor( 0 imp 0 )
= 1 xor 1
= 0
(A,B)=(1,1)の時
((B eqv A) imp ((B eqv A)xor B and A) or B)xor(B and A and((B eqv A)xor B and A)imp B and A and ((B eqv A) xor B and A))
=( 1 imp ( 1 xor 1 ) or 1)xor( 1 and( 1 xor 1 )imp 1 and ( 1 xor 1 ))
=( 1 imp 0 or 1)xor( 1 and 0 imp 1 and 0 )
=( 1 imp 1 )xor( 0 imp 0 )
= 1 xor 1
= 0
(A,B)=(1,0)の時
((B eqv A) imp ((B eqv A)xor B and A) or B)xor(B and A and((B eqv A)xor B and A)imp B and A and ((B eqv A) xor B and A))
=( 0 imp ( 0 xor 0 ) or 0)xor( 0 and( 0 xor 0 )imp 0 and ( 0 xor 0 ))
=( 0 imp 0 or 0)xor( 0 and 0 imp 0 and 0 )
=( 0 imp 0 )xor( 0 imp 0 )
= 1 xor 1
= 0
となってカルノー図(2次元真理値表)を描くまでもなく
全てのA,Bの組合せに対して、与えられた論理式は
全て「0(=False)」になる結果が得られた。
参考URL:http://msdn.microsoft.com/ja-jp/library/cc392395 …
回答ありがとうございます。
順序に気をつけてやるとなんとかできました!
値を直接代入してやる方法もあったのですね、大変参考になりました!
本当にありがとうございました<(_ _)>
No.1
- 回答日時:
カルノー図を書いて最簡形を求めるのが手っ取り早いですね。
問題に疑問点がありますので補足して下さい。
(1)
>(B eqv A) xor B and A
この式は
(B eqv A) xor (B and A)
((B eqv A) xor B) and A
のどちらですか?
(2)A eqv B
の「eqv」は古い記述ですが「一致論理」の演算子ですか?
(3)
演算の優先度の確認
「()」>「not」>「and,xor,eqv」>「or」
でいいですか?
この回答への補足
回答ありがとうございます。
(1)本当も結構ながい問題でこの部分だけ3回でてくるのでこの部分だけ
理解できれば後はできそうだったので短く書いてしまいました@@;
本来は
((B eqv A) imp ((B eqv A)xor B and A) or B)xor(B and A and((B eqv A)xor B and A)imp B and A and ((B eqv A) xor B and A))です。
(2)古い記述でしたか・・・一致論理でたぶんあっていると思います。
equivalent(略でEQV、同値)と書いていましたので。
(3)優先度は()>NOT>AND>OR>XOR>IMP>EQVです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 ( A xor B ) xor B = A となることを論理演算表で完成させてください。 4 2022/10/27 02:12
- 計算機科学 進数の計算について質問です。 16進数のxorだったら0x7fffと0x8000の計算はどうなります 2 2022/05/17 10:11
- 数学 論理式で、出力が全て0になるとき、なぜ論理式は、a and (not a)になるのですか? 3 2022/12/18 22:09
- その他(SNS・コミュニケーションサービス) 自分のpcがハッキングされたようなメールが来たのですがどうすればいいですか? 4 2022/10/02 16:14
- 英語 この英文は平易な反面格調高いですか? 1 2023/01/15 12:04
- 英語 英文の添削をしてほしいです。 2 2022/07/12 12:07
- 英語 この英文は格調高いのでしょうか? 3 2022/06/03 18:55
- 英語 この英語の一部おかしくありませんか? 3 2023/01/09 10:43
- その他(プログラミング・Web制作) python fbprophetについて 1 2022/09/29 19:44
- 英語 提示したアリストテレスの名言のtooの意味と働きについて 13 2023/08/07 08:58
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
正直者とうそつきを見分ける質...
-
1bitの半加算器をNANDのみで表す時
-
【数学・乗法公式はどういうと...
-
量化子がカッコの外と中にある...
-
(^_^.) 数学がよくできる人っ...
-
論理式の簡略化
-
数学について質問ですが、数学...
-
実験における誤差範囲の許容範...
-
相対誤差が小さいと判断する基...
-
平均値、標準偏差の有効数字に...
-
計算値と理論値の誤差について
-
携帯でよく使われる単位「hz」...
-
メーザーとレーザーの違い
-
3重解?
-
150 25 0、20の有効桁数を教え...
-
需要予測の誤差及び精度の計算...
-
占有周波数帯域幅の求め方
-
ダイオード検波回路のRとCの求め方
-
許容誤差とは
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
【数学・乗法公式はどういうと...
-
NANDゲートのみの論理式
-
(^_^.) 数学がよくできる人っ...
-
XOR をNAND素子のみを用いて表...
-
論理回路
-
1bitの半加算器をNANDのみで表す時
-
数学を勉強すると、本当に論理...
-
カリーのパラドックス
-
代数学の質問です[準同型写像の...
-
中学の数学ができる方、質問で...
-
ブール代数の問題
-
論理式
-
純粋数学とはどんなものかを説...
-
論理式を加法標準形、乗法標準...
-
論理学 : unique readability t...
-
∀導入・除去の問題で、自由変数...
-
正直者とうそつきを見分ける質...
-
除法の種類
-
真理値表から最も簡単な論理式...
おすすめ情報