ベストアンサー

論理式についてです。

2020/11/23 14:08

添付された真理値表を満たすZの論理式を、カルノー図を使って簡単化して求めてください。お願いします。

この投稿のマルチメディアは削除されているためご覧いただけません。

noname#246204

電気・電子工学
回答数1
ありがとう数3

みんなの回答 （1）
専門家の回答

質問者が選んだベストアンサー

ベストアンサー

mink6137
ベストアンサー率23% (595/2500)

2020/11/23 21:38 回答No.1

少し見にくいですが A'：Aバー B'：Bバー C'：Cバーと読んで下さい。 A A A’ A’ B 1 0 1 0 B’ 1 0 0 1 C’ C C C’ このカルノーマップからの簡略式は下記です。 Z=A’B’C’+A’BC+AC’

質問者

お礼 2020/11/24 09:05

カルノー図が自分のと少し異なりますが同じ答えを求めることができました。感謝です。

関連するQ&A

真理値表から論理式を導く

A B C Z 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 という真理値表があります。A,B,Cが入力でZが出力です。この場合ZをA,B,Cの論理式で表すとどうなるんでしょうか？また真理値表から論理式を求める手順を教えていただけるとさらにうれしいです。
論理式　簡単化２

３入力１出力の論理回路を真理値表を用いて、論理式と論理回路の図示がわからないので、教えてください。また、その論理式が簡略化出来た時の論理式と論理回路も教えてください。真理値表（左の３ケタの数値が入力、右の数値が出力を表している。）０００　０００１　００１０　１０１１　０１００　０１０１　１１１０　０１１１　１
論理式を作る！

次の条件を満たす最短の論理式を作りたいんですが、うまく作れません＞＜ 1)p,q,rで2つ以上が真なら真、2つ以上が偽なら偽の論理関数カルノー図より、pq＋pr+qrという論理式を導き、これをp(q+r)+qrとしました。これ以上は無理でしょうか？必要ならば、→、≡、排他的論理和も使えます。また 2)p,q,r,sのうち、いずれか3つが真で、そうでなければ偽となる論理関数の論理式を導きたいんですが、これはカルノー図も使えません＞＜ご教授ください。
論理式の簡単かがわからない

論理式の簡単かがわからないｆ=AB+A^B+^ABの式（^で否定です）でカルノー図で解くとA+Bになるのはわかるのですが論理公式による方法がわからなくて困ってます。わかる方教えてください
論理式の簡単化

論理式の簡単化について具体的な真理値表を例にあげて教えて頂きたいです。お願いします。
論理式の簡単化

論理式の簡単化論理式の簡単化 (￢Ａ)(￢B)CＤ＋ (￢Ａ）Ｂ（￢Ｃ）Ｄ＋（￢Ａ）ＢＣ（￢Ｄ）＋Ａ（￢Ｂ）（￢Ｃ）Ｄ＋Ａ（￢Ｂ）Ｃ（￢Ｄ）＋ＡＢ（￢Ｃ）（￢Ｄ）という式なのですが、カルノー図を使ってもどうやっても簡単化できません。（￢）はＮＯＴのことです。もうこれは、簡単化できないものなんでしょうか？見づらくてもうしわけありません。どなたかご教授ください。
4入力XORの論理式

4入力XOR Ａ【XOR】Ｂ【XOR】Ｃ【XOR】Ｄこの式のカルノー図を描くと０　１　０　１１　０　１　００　１　０　１１　０　１　０というように０と１が並びます。これを簡単化出来るのならなるべく簡単化して、XORを使わない論理式を出したいのですがどうすればいいですか？そのあと、７４シリーズのIC(OR、AND、NOT、NANDだけ) をつかって実体回路図を描くので論理式は出来るだけ簡単にお願いします。
論理回路

論理回路の問題ですが Z=~AB~C+BC+A~Cをカルノー図で簡単化し，加法形と乗法形を求めよという問題なんですがカルノー図は以下のようになりました ____0,1 00| 01|11 11|11 10|1 しかしここから加法形と乗法形の求め方がわかりません。教えてください
論理式の簡略化について

f=x'y'z+x'yz'+x'yz+xy'z+xyz'+xyz('は否定です) の簡略化について、カルノー図を使い f=y+z となったのですが、答えは f=x+y となっていました。他の問題でカルノー図を使って解いてみましたが答えと同じでした。どなたか計算して、印刷ミスなのか自分が見落としているのかを判断出してもらえないでしょうか。
真理値表から最も簡単な論理式を求める方法

以下の4変数(X,Y,Z,W)の論理関数Fの真理値表からFの論理式を求めたいと思っています X Y Z W | F --------- 0 0 0 0 | 0 0 0 0 1 | 0 0 0 1 0 | 1 0 0 1 1 | 1 0 1 0 0 | 0 0 1 0 1 | 0 0 1 1 0 | 0 0 1 1 1 | 0 1 0 0 0 | 0 1 0 0 1 | 0 1 0 1 0 | 1 1 0 1 1 | 1 1 1 0 0 | 1 1 1 0 1 | 1 1 1 1 0 | 0 1 1 1 1 | 0 最も単純に論理式を求めるならFが1のところだけを抜き出す方法です F=(x*y*Z*w)+(x*y*Z*W)+(X*y*Z*w)+(X*y*Z*W)+(X*Y*z*w)+(X*Y*z*W) ※　+は論理和、*は論理積、小文字は否定を表しますしかし、恐らくこれは最も簡単な論理式じゃないと思うのですもう少しマシな論理式の求め方も習ったような気はするのですが、思い出せずにいます求め方のアドバイスをお願いします
フリップフロップの解法

カテ違いかもしれないのですが、ＲＳ-ＦＦにおいて　　　　　　＿Ｓ　Ｒ｜Ｑ　Ｑ ----｜------ 　　　｜　　＿ 0　　0｜Ｑ　Ｑ 0　　1｜0　　1　　→ 1　　0｜1　　0 1　　1｜不確定（論理機能表）　　　　　 SR 　　　　｜00 01 11 10 -----｜-------------- Ｑ0　0 | 0 0 1 1 　　　1 | 1 0 1 1 (カルノー図（入力3：Ｓ,Ｒ,Ｑ0 出力：Ｑ）となるらしいのですが、この場合の真理値表はどうなるのでしょうか。またカルノー図のＱ0,Ｑはどこから出てきたのでしょうか。どなたか教えてください。あと、できるのであればＤ-ＦＦにおいての論理機能表,真理値表,カルノー図がどうなるのか教えてください。
論理式について

論理式について積の和形式で下記のような論理式を簡単化したいのですが、途中で分からなくなってしまいます。カルノー図で答えは「ＢＣ」になる事は分かっているのですが、計算過程を教えてください。 not(not(not(AB))+C) or not(BC)) notをバーを用いてであらわしたもの↓ ＿＿＿＿＿＿＿＿＿＿＿＿＿＿　＿＿＿＿　 AB　＋　C　+　BC おそらく not(AB)・not(BC)＋Cnot(BC)まではあってると思うのですが、その後どうしたらよいでしょうか？よろしくお願いします。
論理回路

論理回路の問題について質問があります。 Z=(~A+~B)(~B+C)(~C+~A)をカルノー図で簡単化し、乗法形と加法形を求めよ、という問題ですカルノー図は以下のようになりました。合ってますか？ ____0__1 00| 01|1 11|1__1 10|1__1 乗法形と加法形の解き方がわかりません。教えてください。
論理式　簡単化

論理式Y=（A・B・C＋A＾）A２重＾・C＾＋A^・B・Cを簡単化する方法がわからないので、教えてください。ちなみに、＾はバーを表しています。また、簡単化した論理回路と真理値表も教えてください。ちなみに、NANDゲートのみで構成した場合でお願いします。
カルノー図を用いた論理式の簡単化

閲覧ありがとうございます。電気回路の問題でどうしてもわからないところがあったので、質問させてもらいます。問.符号(ABCD)について、(0000)、(0101)、(1111)、(1010)が起こり得ないとして、カルノー図を用いて次の論理式を簡単化しなさい。 Z=A^B^C^D＋A^BC^D+ABC^D+A^BCD (※便宜上、^をNOTとする。ex)A^B=A(NOT)B ) これを本来の解き方をすれば図の様になります。ここから先のやり方が分からなく、困っています。
論理代数　論理回路　コンピューターサイエンス

論理代数に関する次の問題に対する回答を導く式と回答をご教示ください。 ”コンピュータサイエンスで学ぶ論理回路とその設計” 柴山潔者 P46の演習問題から抜粋近大科学社刊 A.次の論理関数が自己双対関数かどうか確かめなさい。自己双対関数でない場合には、その双対関数を示しなさい。（1）XZ（Zの上にーがある）＋XY＋YZ（YとZの上にーがある）（２）XY（Yの上にーがある）＋XZ＋YZ（Yの上にーがある）（３）XYZ（Xの上にーがある）＋XYZ（XとZの上にーがある）＋XY（Yの上にーがある） B.次の論理関数を標準積和形にしなさい。また、これを真理値表、カルノー図、完全2分決定図のそれぞれで表現しなさい。 XYZ（Zのうえにーがある）＋XZ（Xの上にーがある）＋XY（Yの上にーがある） C.Bで作成した完全2分決定図を既約順序付き2分決定図に簡約しなさい。ただし、変数の出現順序が X→Y→ZとZ→Y→Xの2通りとも示しなさい
論理回路の問題で

論理回路の問題で質問があります。 Z=~A~BC+~AB~C+AC~D+~ABCをカルノー図で簡単化し、加法形と乗法形を求めよという問題なんですがカルノー図は以下のようになりました。合ってますか？ __ 00,01,11,10 00|________1___1 01|1___1___1__1 11|_____________1 10|_____________1 そして加法形と乗法形がわかりません。教えてください
論理式の簡単化

ｆ＝～ｘ１・～ｘ３∨ｘ２・～ｘ３∨ｘ１・～ｘ３∨～ｘ１・～ｘ２∨～ｘ１・ｘ２・ｘ３ ※（否定の「バー」を「～」、「かつ」を「・」、「または」を「∨」であらわしています）を論理式の変形（ブール代数を使って）で簡単化するという問題なのですが、どう変形したらいいのかわかりません。ちなみにカルノー図を使って簡単化することはできました。（ｆ＝～ｘ１・～ｘ３∨ｘ１・ｘ３∨～ｘ１・～ｘ２）途中式と計算の説明をしていただけたらと思います。よろしくお願いします。
論理学　論理式の真理値

論理学　論理式の真理値￢(P∧￢Q) の真理値があっているか見ていただけますか。 P Q 　　￢Q 　　　　P∧￢Q 　　　　￢(P∧￢Q) 1 1 　　　0 　　　　　　　O 　　　　　　　　1 1 0 　　　1 　　　　　　　1 　　　　　　　　0 0 1 　　　0 　　　　　　　0 　　　　　　　　1 0 0 　　　1 　　　　　　　0 　　　　　　　　1 ある記号論理学の入門書（二刷）を使って勉強しています。具体的な論理式を挙げてタブローの作り方を解説しているページに、「￢(P∧￢Q) が1であるためには、Pか￢Qのどちらかが0でなければならない」という記述があります。しかし、この記述は、僕が上でおこなった真理値の計算と矛盾します。PとQの双方が1でも全体は1になるのではないでしょうか？￢(P∧￢Q)の真理値はP∧￢Qの真理値を単純に反転させて出したものですが、この手続きに不備があるのでしょうか？ド・モルガンの法則を使って￢P∨Qに変形させてから計算しても、やはり同じ結果になりました。僕の真理値計算が間違っているのでしょうか？分かるかた教えてください。
論理式の問題がわかりません

最近、独学で論理式の勉強を始めました。（（p⊃q）⊃￢r）⊃（ｒ⊃（￢ｐ∨￢q））という恒真式かを確認する問題で躓いています。真理表を書き、（）の中を先に求めるのはわかっています。わからないのは、（）で書いた後の真理表というか、解き方です。上記の問題で言えば、（p⊃q）の真理表を書いた後（これをＡとする）、Ａ⊃￢rを確認、後半部分も同様に（￢ｐ∨￢q）の真理表を書き（これをＢ）、ｒ⊃Ｂをして、前半⊃後半をすればいいのだろうとは思います。ただ、これの真理表がどんな感じになるのかがわからないのです。（p⊃q）をＡとおく。などと書いて、Ａ⊃￢rの真理表を書き、これをＣとおく。後半も同じ事をして、最終的にＣ⊃Ｅみたいな感じで書けばいいのですか？それとも、ちゃんと（（p⊃q）⊃￢r）での書き方みたいなのがあるんでしょうか？説明が下手でごめんなさい。誰か教えて下さい。また、解き方が違っていたら、教えてくれると嬉しいです。よろしくお願いします。

論理式についてです。

質問者が選んだベストアンサー

お礼 2020/11/24 09:05

関連するQ&A

真理値表から論理式を導く

論理式　簡単化２

論理式を作る！

論理式の簡単かがわからない

論理式の簡単化

論理式の簡単化

4入力XORの論理式

論理回路

論理式の簡略化について

真理値表から最も簡単な論理式を求める方法

フリップフロップの解法

論理式について

論理回路

論理式　簡単化

カルノー図を用いた論理式の簡単化

論理代数　論理回路　コンピューターサイエンス

論理回路の問題で

論理式の簡単化

論理学　論理式の真理値

論理式の問題がわかりません

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

論理式についてです。

質問者が選んだベストアンサー

お礼 2020/11/24 09:05

関連するQ&A

真理値表から論理式を導く

論理式 簡単化２

論理式を作る！

論理式の簡単かがわからない

論理式の簡単化

論理式の簡単化

4入力XORの論理式

論理回路

論理式の簡略化について

真理値表から最も簡単な論理式を求める方法

フリップフロップの解法

論理式について

論理回路

論理式 簡単化

カルノー図を用いた論理式の簡単化

論理代数 論理回路 コンピューターサイエンス

論理回路の問題で

論理式の簡単化

論理学 論理式の真理値

論理式の問題がわかりません

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

論理式　簡単化２

論理式　簡単化

論理代数　論理回路　コンピューターサイエンス

論理学　論理式の真理値

カテゴリ
一覧

専門家に質問してみよう
専門家登録