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で質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
ゼロ(数字)の意味って何?
-
正直者とうそつきを見分ける質...
-
全統記述模試の数学なのですが...
-
乗法群Gとして、Gの元aと整数m,...
-
べき級数展開について
-
可換群ってなんで積じゃなくて...
-
【論理】正直者・あまのじゃく...
-
ゲーデルの不完全性定理
-
1bitの半加算器をNANDのみで表す時
-
相対誤差が小さいと判断する基...
-
実験における誤差範囲の許容範...
-
平均値、標準偏差の有効数字に...
-
計算値と理論値の誤差について
-
【電気・蛍光灯の安定器はどこ...
-
電気信号と電波の違いを教えて...
-
SS-FM方式の占有周波数帯幅につ...
-
「彼女なら来る」の「なら」を...
-
太平洋戦争中の外国や戦地との...
-
シリアル通信の速度
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
画像の説明で論理式があります...
-
(^_^.) 数学がよくできる人っ...
-
ちょっと複雑な質問でごめんな...
-
「AならばB」で、Aが偽でBが真...
-
除法の種類
-
ブルバキをお読みになったこと...
-
論理学 : unique readability t...
-
数学と論理的思考の関係につい...
-
自然数は減法について閉じている?
-
【数学・乗法公式はどういうと...
-
イプシロンデルタ論法は成り立つか
-
【 数I 場合分けするときの決ま...
-
べき級数展開について
-
真理値表から最も簡単な論理式...
-
論理式を加法標準形、乗法標準...
-
ファジィ理論の加法の演算子に...
-
「屁理屈」VS「当たり前」
-
4項のド・モルガンの法則につ...
-
1bitの半加算器をNANDのみで表す時
おすすめ情報