![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
No.8ベストアンサー
- 回答日時:
#2,#3,#5,#7です。
添付図、ピンボケでよく見えません。
ワードやパワーポイントなどに書いて、「Fn+Alt+PrtScr」で画面を切り取ってペイントに貼り付けて、たて3:横4の割合の図にしてJPGファイルに名前をつけて保存し、ここの画像としてアップすれは鮮明ではっきりした画像になります。
A#7の補足について
>あと、ひとつ計算チェックしてほしいんですがいいですか??
>(A◎B)◎C=( A(¬B) + (¬A)B ) ◎ C = ¬( A(¬B) + (¬A)B )C+( A(¬B) + (¬A)B )(¬C)
>A◎(B◎C)=A◎( B(¬C) + (¬B)C ) =
(¬A)( B(¬C) + (¬B)C )+A¬( B(¬C) + (¬B)C )
ここまでは両方ともあっていますよ。
> これって計算していくと両方の解が違うように思えるんですけどどこかおかしい場所ありますか??
続きの計算で間違えてみえるかと思います。
続きを計算すると
>(A◎B)◎C=(A(¬B)+(¬A)B) ◎ C
>= ¬(A(¬B)+(¬A)B)C+(A(¬B)+(¬A)B)(¬C)
=(¬(A(¬B))¬((¬A)B))C+(A(¬B)+(¬A)B)(¬C)
=((¬A+B)(A+¬B))C+A(¬B)(¬C)+(¬A)B(¬C)
=((¬A+B)(A+¬B))C+A(¬B)(¬C)+(¬A)B(¬C)
=(AB+(¬A)(¬B))C+A(¬B)(¬C)+(¬A)B(¬C)
=ABC+(¬A)(¬B)C+A(¬B)(¬C)+(¬A)B(¬C)…(◆)
>A◎(B◎C)=A◎( B(¬C)+(¬B)C)
>=(¬A)(B(¬C)+(¬B)C)+A¬(B(¬C)+(¬B)C)
=(¬A)(B(¬C)+(¬B)C)+A((¬(B(¬C))(¬(¬B)C)))
=(¬A)B(¬C)+(¬A)(¬B)C+A(((¬B)+C)(B+(¬C)))
=(¬A)B(¬C)+(¬A)(¬B)C+A(BC+¬B¬C)
=(¬A)B(¬C)+(¬A)(¬B)C+ABC+A(¬B)(¬C)
=(◆)
チャンと一致しました。
この回答への補足
すいません、添付図次からちゃんと作成します><
あと、俺の計算がミスってましたね。。。
間違った場所は把握できたんでよかったです!
どうもありがとうございました。また何かあったときはよろしくお願いします。。
No.7
- 回答日時:
#2,#3,#5です。
A#3の補足質問
>f^d=¬(¬A◎¬B◎¬C) ?
¬(X◎Y)=(X◎¬Y)=(¬X◎Y)
の式を使えば¬が中に入れられると思いますが?
=¬(¬A◎(¬B◎¬C)) なので
=¬A◎¬(¬B◎¬C)=¬A◎((¬(¬B))◎¬C)
=¬A◎(B◎¬C)=¬A◎¬(B◎C)=A◎(B◎C)=
or
=(¬(¬A)◎(¬B◎¬C))=A◎(¬B◎¬C)=A◎(B◎C)=
ここで
(¬X◎¬Y)=¬(X◎¬Y)=¬(¬(X◎Y))=X◎Y
X◎¬Y=¬(X◎Y)
も覚えておいた方がいいでしょう。
この回答への補足
すごいわかりやすい解答ありがとうございます!
きちんと重要変形のとこは押えました。
あと、ひとつ計算チェックしてほしいんですがいいですか??
(A◎B)◎C=( A(¬B) + (¬A)B ) ◎ C = ¬( A(¬B) + (¬A)B )C+( A(¬B) + (¬A)B )(¬C)
A◎(B◎C)=A◎( B(¬C) + (¬B)C ) =
(¬A)( B(¬C) + (¬B)C )+A¬( B(¬C) + (¬B)C )
これって計算していくと両方の解が違うように思えるんですけどどこかおかしい場所ありますか??
お願いします。
No.6
- 回答日時:
「いちばん外にある否定を括弧の中に入れたら◎はどう変化するんですか」って, #5 に挙がっている式は無視? まあ, 「どうして A◎B◎C と書けるんだろう」と悩むと, ある時点で一瞬にひらめくんだけど.
ちなみに「排他的論理積」はないけど inclusive and は存在する.
この回答への補足
すいません、、あの式使ってませんでしたね。。
途中でつまっちゃったんですけど、
f^d=(¬A◎B)¬(◎C)=(AB+¬A¬B)¬(◎C)
からどうしたら良いですか?
あと、ここまで計算あってますか??
No.5
- 回答日時:
#2,#3です。
>○双対関数
>でした。
>出力z = f(a1,…,an)のとき、それぞれの変数の否定とその関数自体の否定、
>もしくはAND,ORをひっくり返した論理式です!
>後者のが断然楽ですね!
そうであればもう解決済みですか?
解決済みでなければ、あなたの解答を補足に書いてもらえれば
チェックします。
(参考)以下の関係は重要なので覚えるようにして下さい。
A◎B=A¬B+¬AB
¬(A◎B)=(A◎¬B)=(¬A◎B)=AB+¬A¬B
(注意)宿題や課題は丸投げしないで、個々に質問する前に教科書や講義(授業)ノート等で基礎的なことは勉強し、自力でできるところまでは解いてその過程を書いて、わからない箇所だけ質問するようにして下さい。
自分で教科書も見ないで質問を丸投げすることはあなたのためになりませんよ。
この回答への補足
すいません!参考の公式まで載せてもらって!
今やってみてたんですけど、f^d=¬(¬A◎¬B◎¬C)
として変形してたんですけど、いちばん外にある否定を括弧の中に入れたら◎はどう変化するんですか?
排他論理積というものがないし、どうしたらいいか教えてもらえませんか?お願いします。
それと具体的な証明法は変形で右辺を作るってゆう方法で合ってますかね??
あと、初めの問題の主加法標準形への変形なんですが、ABCDEの論理積(最小項)のみの論理和にするってことで合ってますか??
質問攻めで申し訳ないです。。
No.3
- 回答日時:
>論理式の二行目から三行目への手順をもう少し詳しく教えてくれませんか??
やり方の手順がすべてです。
参考URLの乗法標準形の所にカルノー図から乗法標準形の論理式をつくる作り方が載っていますので、そこをご覧下さい。
乗法標準形の式を作るときは
A=0の場合は、論理式の中では A と書き、
A=1の場合は、論理式の中では ¬A と書いて
論理式の各和項を作る。
ただそれだけです。
それ以上の説明は不可能です。後は例題をこなしてなれるだけです。
そして、A#1に書いたように、加法標準形と乗法標準形の式に
論理変数の値を具体的に与えて計算して、真理値表が同じになることで
納得するしかないでしょう。
「^d」について説明がなかったのでA#2では、べき乗の意味かと勝手に推測して、回答のアドバイスをしました。しかし、A#1の補足で
>dは相対関数を意味してます。
とのことですので解釈が間違っていましたのでA#2の最後の行の
>後半)dについて数学的帰納法を適用する。
は無視(削除)して下さい。
論理式の相対関数の定義をお書きいただけませんか?
ありがとうございます。少しURL先を覗いて勉強してきます!
訂正で
×相対関数
○双対関数
でした。
出力z = f(a1,…,an)のとき、それぞれの変数の否定とその関数自体の否定、もしくはAND,ORをひっくり返した論理式です!
後者のが断然楽ですね!
No.2
- 回答日時:
丸投げしないでやれる所は、自力でやる。
わからない所を質問する場合はやった所までの解答の過程を補足に書いた上で、行き詰っている所の何が分からないか、質問して下さい。
全く分からず他力本願なら諦めて、教わった先生に訊いて下さい。
> f=AB+¬(C(D+E)) …(●)
=AB+¬C+¬(D+E)=AB+¬C+¬D¬E
=(A+¬C+¬D)(B+¬C+¬D)(A+¬C+¬E)(B+¬C+¬E) …(■)
(参考)
やり方の手順
手順1)与えられた論理式を加法標準形になおす。
手順2)ゼロになるケースを網羅する。
手順3)各ゼロになるケースを負論理の和で表す。
手順4)すべてのケースの負論理和の積をとる。
合っているかは、自分で確認して下さい。
→(●)と(■)の真理値表が一致するか確認する。
後半)dについて数学的帰納法を適用する。
参考URL:http://www.ie.u-ryukyu.ac.jp/~wada/digcir03/bool …
この回答への補足
丸投げすいません!
二日前からペラペラと教科書を見ただけで論理回路の勉強ほとんどしてなくて><
論理式の二行目から三行目への手順をもう少し詳しく教えてくれませんか??
お願いします。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 標準模型 標準理論の破れ 破綻 4 2022/04/20 15:15
- 数学 オートマトンの問題がわかりません。 2 2022/07/13 12:47
- 物理学 標準モデルの数式 2 2023/03/09 23:25
- 物理学 熱力学 エントロピー 断熱自由膨張 熱力学第2法則 クラウジウスの不等式 2 2022/07/14 12:58
- 物理学 アインシュタインの質量とエネルギーの等価性(E=mc²)って間違ってますよね? 4 2023/01/14 13:29
- その他(自然科学) 相対性理論と量子力学の統一の正体は、物質M±の変化進行形の性質に有る。とは思いませんか?? 1 2023/03/28 08:56
- その他(セキュリティ) ワンタイムパッドについて 2 2022/11/24 12:11
- 数学 虚数単位:i、この4乗根を求める解答したものの疑問です。 1 2022/10/25 00:43
- 数学 背理法について質問があります。 現実で使う場合はこのようになるかと思います。 ①容疑者Aが犯人である 4 2022/08/23 22:12
- 日本語 意味とは何か? どこにあるのか?(Ⅱ) 4 2022/04/21 13:35
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
【数学・乗法公式はどういうと...
-
NANDゲートのみの論理式
-
論理式を加法標準形、乗法標準...
-
数Iの宿題で出た問題です
-
代数学の質問です[準同型写像の...
-
「AならばB」で、Aが偽でBが真...
-
【論理演算子?】AND、OR、XOR...
-
(^_^.) 数学がよくできる人っ...
-
XOR をNAND素子のみを用いて表...
-
自然数は減法について閉じている?
-
【論理】正直者・あまのじゃく...
-
判断推理(論理)
-
「偶然」のパラドックス
-
中学3年生の数学の問題について
-
論理回路
-
集合の問題で、論理式で答えを...
-
論理式の計算がわかりません
-
真理値表
-
イプシロンデルタ論法は成り立つか
おすすめ情報