下の図の問題で、
出力信号Xを論理和して
X=(not A)・(not B)・(not C)+(not A)・B・(not C)+(not A)・B・C+A・(not B)・(not C)
ここまでは分かったのですが、自分はここから前半の
(not A)・(not B)・(not C)+(not A)・B・(not C)
を
((not A)・(not C))((not B)+B)=(not A)・(not C)
として
X=(not A)・(not C)+(not A)・B・C+A・(not B)・(not C)
となったために(ここから変形できますでしょうか?)、答えの
X=(not A)・B+(not B)・(not C)
にならなくなってしまったのです・・・
解説では
X=((not A)+A)・((not B)・(not C))+((not A)・B)・((not C)+C)
と括りだしているわけですが、
自分はたまたまというかセンスがないというか(not A)・(not C)の共通項
に注目してしまったがためにこのような結果になったと思うのですが、
こういう問題を解く場合にはどのような意識でというか
考え方でこの括りだしを考えていったら答えをすんなり導きだせるのでしょうか?
No.5ベストアンサー
- 回答日時:
#4です。
A#1の補足やお礼の所での質問について
カルノー図(Karnaugh Map)による論理式の簡単化については、積和形の論理式では論理値1の箇所を出来るだけ大きな少ない数のカルノー・サークルで囲んでやり、論理値1の領域全部を囲います。カルノーサークルは他のサークルと重なっても問題ありません。カルノー・サークル1個について1つの論理積項が出来、合計でカルノー・サークルの個数分の論理積項が出来ますので、それらの論理和をとれば、簡単化された論理式が得られます。
なお、和積形の論理式では論理値0の箇所を出来るだけ大きいな少ないカルノー・サークルで囲んでやり、各カルノー・サークルの論理和項をカルノー・サークル数だけ論理積を取ってやれば、和積系の簡単化された論理式を得ることができます。
なので、質問者さんは、カルノー・サークルの描き方を理解すれば、それが簡単化された論理式を作ることが出来るようになります。
まずカルノー図でカルノー・サークルの作り方を参考URLで学習されることをお勧めします。
参考URL
●論理出力1の領域を全て囲み尽くすのに必要なカルノー・サークル(緑、赤、青のサークル)の作り方と論理式の対応についての具体例
http://www.knowledgerush.com/kr/encyclopedia/Kar …
●カルノー・サークルの作り方の多くの例
http://users.cecs.anu.edu.au/~Matthew.James/engn …
http://web.cecs.pdx.edu/~mcnames/ECE171/Lectures …
●カルノー・サークルの作り方(サークルの重なりと両端に跨るカルノーサークルの合体の例)
http://trensains.com/karnaugh.htm
http://xlinux.nist.gov/dads/HTML/karnaughmap.html
http://www.terra.es/personal2/equipos2/karnaugh. …
●カルノー・サークルの作り方(間違い例と正しい例)
http://www.gitam.edu/eresource/comp/gvr/4.7.htm
など。
ぜひ、カルノー図を熟視してカルノー・サークル(Karnaugh Groups)の作り方をマスターして下さい。最簡化された論理式が効率よく求めることが出来るようになりますよ。
ご回答ありがとうございます。
お蔭様で少し理解できてきました。
ただこれも慣れるまで頭の中が大変そうですね・・^^;
参考になりました。
No.4
- 回答日時:
解法1)
各論理式についてXが一致しない入力が1つでもあればその論理式は除外。
これは消去法で、残った論理式(4)が答え
具体的には
(1) (A,B,C)=(0,0,0)でX=1で×
(2)(C,B,C)=(0,1,1) でX=1で×
(3)(A,B,C)=(1,1,0) でX=0で×
(4) X=/AB+/B/C
(A,B,C)=全ての入力で真理値表のXがあられる。
答えはこれ。
(5)(A,B,C)=(0,0,1)でX=1で×
解法2)
積和形ならX=1となる「入力の組合せが最小項になるように集めて加えれば論理式が得られる。X=/A・B+/B・/C (/Aは not(A)を表す)
これに合うXの論理式を選択肢から選ぶ。
正確には#1さんが助言のカルノー図を描く方法です。
カルノー図で、X=1の領域をカルノーサークルで囲んで論理式を求めます。
No.3
- 回答日時:
正攻法ではありませんが,
問題文の選択肢からあてはまる式を探す,
という受験テクはあります。
(3) (¬A)B+(¬C)は,C=1のとき1となるはずですが,ABC=110のとき0なので候補外。
(1) AB+BC+CAは,二つずつ1でないと1にならないはずだが,000で1になるので候補外。
(2) (¬A)(¬B)+(¬B)(¬C)+(¬C)(¬A)は00X,X00,0X0のどれかのとき1になるはずだが,
001で0になるので候補外。
(5) (¬A)(¬B)C+A(¬B)(¬C)+(¬A)B(¬C)は,001か100か010のときしか1にならないはずだが,001で0なので候補外。
よって(4)しか残らないので,(受験テクとしては)とりあえず(4)のマークを塗ってしまう。
試験時間に余裕があれば以下を確認。
(4) (¬A)B+(¬B)(¬C)は01XかX00のときだけ1になるはず。表を8個確認して安心。
ご回答ありがとうございます。
なるほど、そうですね、そんな複雑な問題はでないと思いますので
こういうのも参考の1つになりますね。
それにしても、このジャンルの問題は自分の中では一番厄介ですね・・・
この問題もこのジャンルでは相当簡単(基礎的)な方だと思いますが、
やたら時間がかかるというか、頭を使うというか、
非同期式カウンタの問題とかもう無条件で捨てたい気分です・・・^^;
No.2
- 回答日時:
目で直観的に見れる形のするのはいかがですか。
たとえば X=000+010+011+100とする。
又は X=/A/B/C+/AB/C+/ABC+A/B/Cの形にする。
/は手で書くときはAの上に横線を書いてバーの形にする。
そうすると、共通項が見えるので、組み合わせが判るようになるでしょう。
ご回答ありがとうございます。
>X=000+010+011+100
何これは自分的には良さげ(楽になりそうな^^)な感じがするのですが、
ここからどう答えを導いていけば良いのでしょうか?
>X=/A/B/C+/AB/C+/ABC+A/B/Cの形にする。
これはでも自分のやったやり方と同じではないのでしょうか?
ここから自分は共通項の選びミスをしてしまったのです・・
No.1
- 回答日時:
カルノー図で処理するのがいいと思う.
本気でどうにもセンスがないなら努力と根性のクワイン・マクラスキー法などだけどお勧めはしない.
この回答への補足
すいません、補足で質問させてください。。
http://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%AB% …
真ん中から少し下の方の
AB/C+ABC+AC
で
ABC
AC
AB/C
である。
「図1」で論理式が真となる部分を、まとめると「図2」のようになる。
AB
AC
という箇所で、
「「図1」で論理式が真となる部分を、まとめると「図2」のようになる。」
というのが具体的に分からないのですが、
これはどういう処理を行っているのでしょうか?
ご回答ありがとうございます。
http://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%AB% …
ここでカルノー図を調べてみたのですが、
f=/A/B/C+/AB/C+/B/C/D+/B/CD
=/A/C+/BC
この4変数カルノー図ではたくさん1の箇所があって、
でも選ばれたのは(/A/C+/BC)だけなのですが、
この選び方は何かコツみたいなのはあるのでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- MySQL my_itemsテーブルのIDにAUTO_INCREMENT を追加ができるかで 1 2023/01/03 09:09
- 英語 "Try not"と"Don't try"の違い等について 9 2022/12/14 11:45
- 英語 英文法について質問です。 The teacher’s explanation was so long 3 2023/01/30 21:19
- MySQL `picture` varchar(255) のコマンドで間違いないでしょうか? 1 2022/11/21 04:08
- 英語 "not to worry"の元の表現等について 1 2023/06/22 14:44
- 英語 英語 could notについて 3 2023/01/01 23:48
- 英語 分離不定詞 1 2023/07/16 17:29
- MySQL エラー 1068 (42000): 複数の主キーが定義されていますエラー 2 2022/11/17 04:36
- 英語 英文解釈をお願いします。 2 2022/07/21 11:13
- 英語 Those who do not work should not eat 訳を教えてください。 2 2023/06/14 06:45
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
visio2013での論理記号の出し方
-
「理屈じゃない」ってどういう...
-
「論理的」の反対語は?
-
数学と現代文(論文)論理的な力...
-
言語論理と数学論理の違いは? ...
-
経験論と帰納、合理論と演繹、...
-
理論的に説明してみると全く逆...
-
「変人」と「狂人」の違い
-
非形式論理学について
-
理論と論理
-
半加算器に使われる論理式を教...
-
わざわざ難しく考える人は、頭...
-
哲学科に進学したことをとても...
-
「実定性」の意味
-
人間が死んだら星になるという思想
-
ならぬことはならぬものです
-
「真実」の反対語は何でしょうか?
-
機械とは手の延長である。
-
大物になる人は変わった人が多...
-
知の暴走(理性の欠如)
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「理屈じゃない」ってどういう...
-
韓国人ってなぜ差別対象になり...
-
「論理的」の反対語は?
-
visio2013での論理記号の出し方
-
古代のギリシャとインド哲学の...
-
抽象化-具体化と帰納法-演繹法...
-
論理学と数学の関係を教えてく...
-
「わけだが」
-
西村ひろゆきは屁理屈で論理を...
-
論理学を理解するには、数学が...
-
【論理学】シェファーの棒について
-
【ことば】「演繹」と「敷衍」...
-
「風が吹けば桶屋が儲かる」と...
-
大学哲学科の論理学と倫理学に...
-
社会思想と社会理論の違い
-
非形式論理学について
-
論破は若い方が有利では
-
小学校から高校までの算数数学...
-
不完全性定理って 現実から離れ...
-
みっともない
おすすめ情報