- ベストアンサー
真理値表を使った証明について
X、Y、Zの３文字を論理変数とした論理式の場合 真理値表でどう表せばいいのか分かりません。 自分で調べた範囲では分からなかったので・・・ 分かる方がいましたら教えていただきたいです。 例えば添付のような論理式です。
- その他（学問・教育）
- 回答数3
- ありがとう数2
- みんなの回答 （3）
- 専門家の回答
その他の回答 (2)
- iwankf
- ベストアンサー率17% (11/62)
Z:True Z:Falus Y:True Y:Falus Y:True Y:Falus X:True (T,T,T) (T,F,T) (T,T,F) (T,F,F) X:Falus (F,T,T) (F,F,T) (F,T,F) (F,F,F)
お礼
ご回答ありがとうございました！
- chie65535
- ベストアンサー率43% (8524/19373)
否定は「~」で表記します。 X|Y|Z|X・Y|Y・ Z|Z・ X|X・Y+Y・Z+Z・X|~(X・Y+Y・Z+Z・X)|~X・~Y|~Y・~Z|~Z・~X|~X・~Y+~Y・~Z+~Z・~X 0|0|0| 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 0|0|1| 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 0|1|0| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 0|1|1| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 1|0|0| 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 1|0|1| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 1|1|0| 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 1|1|1| 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 ~(X・Y+Y・Z+Z・X) と ~X・~Y+~Y・~Z+~Z・~X の真理値表が一致したので、~(X・Y+Y・Z+Z・X)＝~X・~Y+~Y・~Z+~Z・~Xです。
関連するQ&A
- 真理値表から最も簡単な論理式を求める方法
以下の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) ※ +は論理和、*は論理積、小文字は否定を表します しかし、恐らくこれは最も簡単な論理式じゃないと思うのです もう少しマシな論理式の求め方も習ったような気はするのですが、思い出せずにいます 求め方のアドバイスをお願いします
- ベストアンサー
- 数学・算数
- 真理値表から論理式を導く
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の論理式で表すとどうなるんでしょうか？また真理値表から論理式を求める手順を教えていただけるとさらにうれしいです。
- ベストアンサー
- 科学
- 真理値表→論理式
3桁の２進数X = (x2, x1, x0)を入力し、2倍して１を足し出力する 論理回路があります。 ここで出力をY= (y3, y2, y1, y0)とし、x2,y3を最上位ビット x0, y0を最下位ビットとします。 これは、真理値表は x2 x1 x0 y3 y2 y1 y0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 となると思うんです。ここから、論理式の作り方を教えていただけないでしょうか？ 出来れば、最簡形であるとうれしいです。 よろしくお願いします。
- ベストアンサー
- その他（学問・教育）
- 真理値表の実装の仕方は？
プログラムでこのような真理値表を実装したいのです。 xとyが入力でzが出力です。 x y | z --------- 0 0 | 0 0 1 | 1 1 0 | 0 1 1 | 0 目的は、0か1の過去のデータがx、現在のデータがyで、過去のデータが0で現在のデータが1の時だけ真になるようにしたいのです。 どなたかご指導ください。よろしくお願いします。
- ベストアンサー
- C・C++・C#
- 恒真式の真理表について
質問させていただきます。 真理表についてわからなくて、大変困ってしまっています。下記の論理式を真理表にするのでうが…わかる方、教えてください。よろしくお願い致します。 １ ((P → Q)・(-P → R)) → ((Q・-P) v (R・P)) ２ ((P・Q) v (P・R)) → (Q・R)
- ベストアンサー
- 数学・算数
- 宿題が出来なくて困ってます。助けてください。
初めまして、こんばんは。 今週の土曜に提出の情報処理概論という講義のレポートが出来なくて困ってます。授業は出席しているのですが、お爺さん先生が教えてくれているので、何を言っているのかわからないんです。どんな回答でもいいので、よろしくお願いします。 ＞＞＞３つの入力X、Y、Zのうち、２つ以上が１のとき出力１を出力する回路を３変数の多数決論理回路という。この３変数の多数決回路について （１）真理値表を書け。 （２）下図の３変数カルノー図を用いて ３変数多数決回路の論理回路図を示せ。 X X・Y・Z X・Y・Z X・Y・Z X・Y・Z X・Y・Z X・Y・Z X・Y・Z X・Y・Z （３）３変数多数決回路の論理回路図を示せ。 ３問も質問してすみません。なんせ問題が１０項目もあるんで（汗）何卒宜しくお願いします。
- ベストアンサー
- その他（インターネット・Webサービス）
- 記号論理学 真理表
命題論理の件でも質問させていただいております。 今回は真理表についてわからなくて、大変困ってしまっています。「記号論理入門（新装版）前田昭二」と言う大学の教科書を見て、下記のような回答を私なりに考えたのですが。。。どなたか、わかる方、どうぞ教えてください。宜しくお願いいたします。 問題 次の論理式の真理表をかけ (a) A→(B→A)の真理表 A、B、B→A、A→(B→A) ∨、∨、∨、∨ ∨、∧、∨、∨ ∧、∨、∧、∧ ∧、∧、∨、∧ (b)｛￢A→(A→B)｝⇔B の真理表 A 、B、￢A、A→B、￢A→(A→B)、｛￢A→(A→B)｝⇔B ∨、∨、∧、∨、∨、∨ ∨、∧、∧、∧、∧、∧ ∧、∨、∨、∨、∨、∨ ∧、∧、∨、∨、∧、∧ 罫線をこの投稿欄で使えないため、表の中の 点（、）の場所が罫線が引いてあるものと思っていただけますと、幸いです。 大変読みづらくて、申し訳ありません。
- ベストアンサー
- 数学・算数
- 真理値表を用いた否定・論理積、和・排他的論理和・含意・等値を勉強してるんですが
もし論理Aと理論Bがある場合、考えられ得る論理演算は全部で何通りあって、その真理値表がわからないんですが教えてください！真理値表の演算式も合わせてお願いします！
- 締切済み
- 数学・算数
お礼
分かりやすく教えていただきありがとうございます！ 助かりました。