• 締切済み

真理値表

(X+YZ)(Z+YX)を真理値表で証明する問題があります。 そもそも、真理値表って何でしょうか? 分かりやすく説明して頂けますと助かります。 宜しくお願い致します。

みんなの回答

  • info22_
  • ベストアンサー率67% (2650/3922)
回答No.1

>(X+YZ)(Z+YX)を真理値表で証明する問題があります。 「X+YZ=Z+YX」の証明問題なら この論理式は正しくないので証明不可能です。 反例)X=Y=0,Z=1の時 X+YZ=0, Z+YX=1+0=1 ⇒ X+YZ≠Z+YX >真理値表って何でしょうか? 論理数学などの教科書や参考書に載っているので復習して下さい。 論理式について 全ての論理変数の全ての組合せに対する論理式の論理値を 一覧表に表した表のことです。

関連するQ&A

  • 真理値表を使った証明について

    X、Y、Zの3文字を論理変数とした論理式の場合 真理値表でどう表せばいいのか分かりません。 自分で調べた範囲では分からなかったので・・・ 分かる方がいましたら教えていただきたいです。 例えば添付のような論理式です。

  • 真理値表の実装の仕方は?

    プログラムでこのような真理値表を実装したいのです。 xとyが入力でzが出力です。 x y | z --------- 0 0 | 0 0 1 | 1 1 0 | 0 1 1 | 0 目的は、0か1の過去のデータがx、現在のデータがyで、過去のデータが0で現在のデータが1の時だけ真になるようにしたいのです。 どなたかご指導ください。よろしくお願いします。

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

    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の論理式で表すとどうなるんでしょうか?また真理値表から論理式を求める手順を教えていただけるとさらにうれしいです。

  • 真理値表についての質問です

    負数を2の補数で表すとき、3桁の2進数 n に対し -n を求める計算器について、真理値表を作成せよ という問題で、 000 000 001 111 010 110 011 101 100 100 101 011 110 010 111 001 ここまでやったのですが、表の作り方が分かりません。 ご回答よろしくお願い致します。

  • 基本情報ー真理値表

    基本情報ー真理値表 平成22年度の過去問に出ている真理値表を選んで回答する問題で (X□Y)とあるんですが、これってどういう意味ですか? 四角の意味がわかりません。。。 問題の全容はこれです。 http://www.k4.dion.ne.jp/~type_f/22S_L2/22S_L2_02.html よろしくお願いします。

  • 行列式の問題が・・・

    つぎの問題の解き方を教えてください |1+x^2    xy   xz | | yx   1+y^2   yz | | zx    zy    1+z^2 |

  • 加法標準形、乗法標準形

    真理値表 入力 x,y,z 出力 F xyz F 0000 0010 0100 0111 1000 1011 1101 1111 上記した真理値表で表される 加法標準形 F(x,y,z)=yz+xz+xy 乗法標準形 F(x,y,z)=(NOTx+NOTy)(NOTx+NOTz)(NOTy+NOTz) を導いたのですが,合っていますでしょうか? ご確認お願い致します。

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

    以下の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) ※ +は論理和、*は論理積、小文字は否定を表します しかし、恐らくこれは最も簡単な論理式じゃないと思うのです もう少しマシな論理式の求め方も習ったような気はするのですが、思い出せずにいます 求め方のアドバイスをお願いします

  • 真理値表について

    XNOR(XORの否定)を真理値表とAND,OR、NOTのみを使用したブール代数で表し、算出した回路をAND,OR,NOTのみを使って構成しなさい。 という問題があるのですが、教科書を見てもいまいち意味がわかりません・・ どなたかご回答お願いいたします<(_ _)>

  • 行列式の等式の証明

    |1+x^2  xy     xz | | yz   1+y^2    yz | = 1+x^2+y^2+z^2 | zx    zy    1+z^2| を証明せよ。という問題です。 | 1   x    y      z | | 0  1+x^2  xy     xz | | 0  yz   1+y^2    yz |  | 0   zx    zy    1+z^2| から導け、と解答には書いてあるのですが、どのように導けばいいのでしょうか? ご回答よろしくお願いします。