- ベストアンサー
論理式
info22の回答
- info22
- ベストアンサー率55% (2225/4034)
#2,#3です。 >○双対関数 >でした。 >出力z = f(a1,…,an)のとき、それぞれの変数の否定とその関数自体の否定、 >もしくはAND,ORをひっくり返した論理式です! >後者のが断然楽ですね! そうであればもう解決済みですか? 解決済みでなければ、あなたの解答を補足に書いてもらえれば チェックします。 (参考)以下の関係は重要なので覚えるようにして下さい。 A◎B=A¬B+¬AB ¬(A◎B)=(A◎¬B)=(¬A◎B)=AB+¬A¬B (注意)宿題や課題は丸投げしないで、個々に質問する前に教科書や講義(授業)ノート等で基礎的なことは勉強し、自力でできるところまでは解いてその過程を書いて、わからない箇所だけ質問するようにして下さい。 自分で教科書も見ないで質問を丸投げすることはあなたのためになりませんよ。
関連するQ&A
- 論理式を加法標準形、乗法標準形に変形する問題なのですが、どうやってやれ
論理式を加法標準形、乗法標準形に変形する問題なのですが、どうやってやればいいかよくわかりません。項をabcを使った式に直してから変形するみたいなのですが・・・。 ・加法標準形に変形 f = ab + bc + ac ・乗法標準形に変形 f = (a + b)c ご教授お願いします。
- 締切済み
- 数学・算数
- 至急!論理学の問題で困ってます!
論理学の問題で困っています。 以下の推論の記号化を推論規則や置換規則を用いて妥当性の形式的証明を行いなさい。尚、構成的ディレンマを用いずに証明しなさい。 とあります。どなたか証明方法がわかるかたがいらっしゃいましたら、解答お願いします。 1A⊃(B・C) 2D⊃(B・E) ∴(A∨D)⊃[(B・C)∨(B・E)]
- 締切済み
- 恋愛相談
- 論理式。ド・モルガンの法則について。
ABY 000 011 101 110 から論理式を主乗法標準形で求めよ。 という問題があるのですが、僕は解き方としてド・モルガンの法則を利用して、 _ _ Y = AB + AB _______ _______ _ _ Y = AB + AB _________ __ __ _ _ Y = (AB)(AB) _________ _ _ Y = (A+B)(A+B) だとおもったのですが、解答では直接(?) _ _ Y = (A+B)(A+B) という式を出しているのですが、僕の答えは別解として成り立っているのでしょうか?それともどこかで間違っているでしょうか? 式のNOTのバーが見づらくてすみません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 論理式の簡単かがわからない
論理式の簡単かがわからない f=AB+A^B+^ABの式(^で否定です)でカルノー図で解くとA+Bになるのはわかるのですが論理公式による方法がわからなくて困ってます。 わかる方教えてください
- ベストアンサー
- その他(学問・教育)
補足
すいません!参考の公式まで載せてもらって! 今やってみてたんですけど、f^d=¬(¬A◎¬B◎¬C) として変形してたんですけど、いちばん外にある否定を括弧の中に入れたら◎はどう変化するんですか? 排他論理積というものがないし、どうしたらいいか教えてもらえませんか?お願いします。 それと具体的な証明法は変形で右辺を作るってゆう方法で合ってますかね?? あと、初めの問題の主加法標準形への変形なんですが、ABCDEの論理積(最小項)のみの論理和にするってことで合ってますか?? 質問攻めで申し訳ないです。。