• ベストアンサー

論理演算の問題です

添付した論理回路図を論理式にすると、 A・¬B+¬A・B になるようですが、どうも納得出来ません。 解説をおねがいします。 あと、 A・(¬A+B)=A・B の解説もお願いします。

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

  • ベストアンサー
  • rnakamra
  • ベストアンサー率59% (761/1282)
回答No.2

最終段のへの入力は ¬(A・B)とA+Bであるのはすぐにわかりますので C={¬(A・B)}・(A+B) です。 前の{}の中をド・モルガン則を使い変形、それから分配則を使い展開すればよいでしょう。 A・¬A=0,B・¬B=0をお忘れなく。 >A・(¬A+B)=A・B 分配則を使い展開、先ほどヒントに出した式を使えば出てきます。

その他の回答 (1)

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

どう納得できないのかよくわからんし「解説」するほどのものでもないが, 入力の全パターンを考えればいい.

関連するQ&A

  • 論理回路の問題を教えてください。

    論理回路の問題を教えてください。 以下の問題がよくわかりません。できるだけ詳しく教えてください。 問題 図2.2の同期式順序回路Aの内部状態を3つの状態変数Q1,Q2,Q3によりQ1Q2Q3で表し、 初期状態は111とする。 また、Q1,Q2,Q3が次にクロックで遷移する値をそれぞれQ1+,Q2+,Q3+で表す。 (1)順序回路Aの状態遷移図を示せ。ただし、順序回路Aは入出力を持たないので、 状態遷移図の枝には入出力を付けなくてよい。 (2)順序回路Aと同じく3つの状態変数Q1,Q2,Q3を持ち、初期状態が111で 状態遷移の順序が順序回路Aの逆順になる同期式順序回路を順序回路Bとする。 この順序回路BのQ1+,Q2+,Q3+をQ1,Q2,Q3を用いた簡単化された論理式で表せ。 以上です。大変だと思いますが、どうかよろしくお願いします。

  • 論理演算について質問

    何度もすみません。 また質問します。これで最後にしたい、、 質問1:&&や||等の論理演算子は、その両側にある2つの“boolean型の式(関係式等)”に対して論理演算を行う。 評価は、両側の式に対して並列に行うのではなく、1つづつ行って行く。 因みに、||は「論理式」を論理演算するこどができる。例えば、 int a=1,b=0,c=0のとき a==1 && b==3 || a==1 && b==0 の論理式があったとします。 この論理式の||は、即に演算されたa==1 && b==3とa==1 && b==0の論理式を演算の対象としている。 質問2:「評価」と「論理演算」って意味は同じですか?違いますか?違うならその違いは? 質問3:a==1 && b==0 || (a==1 && b==0)の論理式は、先に(a==1 && b==0)の論理式を論理演算すると思ってました。でも、以前そのような仮説をもって質問したら、回答者の方に実際違うと指摘されました。何故ですか?だって()の中の論理式なんだから、優先的に演算されるはず。

    • ベストアンサー
    • Java
  • 論理演算について質問

    int a=1,b=0,c=0のとき a==1 && b==0 || (a==1 && b==0) の論理式あったとします 質問1:&&や||の論理演算子について、その『両側』にある2つの関係式を「1つ1つ評価」することにより論理演算する。この認識で正しいですか? 質問2:論理式 a==1 && b==0 || (a==1 && b==0)について、trueになるプロセスの認識は以下で正しいですか? (a==1 && b==0)のa==1を評価しtrue、次にb==0を評価しtrue。 よってこの論理式はtrue      ↓ a==1 && b==0 のa==1 を評価しtrue、b==0 を評価しtrue。 よってこの論理式はtrue      ↓ ||は、右の論理式((a==1 && b==0))がtrueで左の論理式(a==1 && b==0 )もtrueだから、論理式全体はtrueで確定しているので、評価を行わない。

    • ベストアンサー
    • Java
  • 論理回路の問題を教えてください。

    論理回路の問題を教えてください。 以下の問題について、(1)と(2)は一応解きましたが、(3)が解けませんでした。 どなたか(1)、(2)の添削も含め、(3)の解説をお願いします。 問題 図2.2は、ある同期式順序回路のタイムチャートを示している。 この同期式順序回路は、Reset信号が1の時CLK信号の立ち上がりエッジに同期して動作し、 1CLKサイクルの間Outに1を出力し、続く2CLKサイクルはOutにOを出力する動作を繰り返す。 (1)この同期式順序回路を3つの状態A,B,Cをもつ状態機械として設計する時の状態遷移図を示せ。 ただし、Resetが0のときは状態Aとなること。 (2)3つの状態A、B,Cに対して2つの状態変数S1、S2を表2.1のように割り当てる。 1CLKサイクル後の状態をS1’,S2’とする時、S1’とS2’および出力Outを S1とS2を用いた式で表せ。 (3)この同期式順序回路を2つのDフリップフロップを用いて設計し、その回路図を示せ。 問題は以上です。 (1)は、添付した写真の上の図です。 (2)は、表2.1にS1’とS2’とOutを足して、それぞれの値が1の時を選ぶと、 S1’=¬S1・S2 S2’=¬S1・¬S2+S1・¬S2=¬S2 Out=S1・¬S2 となりました。 (3)は全くわかりませんでした。 よろしくお願いします。

  • 論理演算、どう解けば?

    論理演算を解く際に、図を描いたり(AとBが重なった絵)、1と0の真理値表を書いたりしますよね。 どちらを使って解くべきなのでしょうか?

  • 論理演算について

    はじめまして。検索して調べたんですが、どうも分からないので 質問させていただきます。 レジュメに書いてある数値が少し違う問題には解答がありますが、 何がどうなっているのやら、さっぱりわかりませんでした・・・。 そしてこの問題の解答は時間の関係で教えてもらえないまま。 昼ごろから自分の力で解こうとしたのですが解き方が分からないで、 どうしようもありません。 どなたかお教えくださいませんでしょうか。よろしくお願いします。 f(0,0)=0 , f(0,1)=1 , f(1,0)=0 , F(1,1)=1 を満足する2変数の論理関数をf(A,B)とする。 X=f(A,B)を展開定理を用いてA,Bの論理式で表現せよ。 ただし、できるだけ簡単な論理式とせよ。

  • 論理演算について質問

    int a=1,b=0,c=0のとき a==1 && b==0 || (a==1 && b==0) a==1 && b==0 &&c==0 && b==0 の2つの論理式あったとします 質問1:&&や||は、その間にある2つの関係式や2つの関係式の論理演算の結果同士などを論理演算するものだと思います。この認識で正しいですか? 質問2:上記の論理式の後者a==1 && b==0 &&c==0 && b==0について、trueになるプロセスの認識は以下で正しいですか? a==1 && b==0 はtrue       ↓  左から2番目の&&は、左の論理式(a==1 && b==0)の演算結果であるtrueと関係式c==0を論理演算(つまり、論理演算の結果trueと関係式の2つを演算)、、結果true ↓ 左から3番目の&&は、左の論理式(a==1 && b==0 &&c==0 )の演算結果であるtrueと右の関係式b==0を論理演算(つまり、論理演算の結果trueと関係式の2つを演算)、結果true 質問3:上記前者の論理式a==1 && b==0 || (a==1 && b==0)について、trueになるプロセスの認識は以下で正しいですか? (a==1 && b==0)はtrue      ↓ a==1 && b==0 はtrue      ↓ ||は、右の論理式((a==1 && b==0))の演算の結果trueと左の論理式(a==1 && b==0)の演算結果trueを計算し(つまり論理演算の結果同士であるtrue2つを演算)、結果true

    • ベストアンサー
    • Java
  • 論理演算について質問

    最初に、前回同じ質問に答えてくださった方へ、いろいろな人から僕の仮説のコンセンサスを得たいので、再度同じ質問しますね。 int a=1,b=0,c=0のとき a==1 && b==0 | (a==1 && b==0) a==1 && b==0 &&c==0 && b==0 の2つの論理式あったとします 質問1:&&や||は、その間にある2つの関係式や2つの関係式の論理演算の結果同士などを論理演算するものだと思います。この認識で正しいですか? 質問2:上記の論理式の後者a==1 && b==0 &&c==0 && b==0について、trueになるプロセスの認識は以下で正しいですか? a==1 && b==0 はtrue       ↓  左から2番目の&&は、左の論理式(a==1 && b==0)の演算結果であるtrueと関係式c==0を論理演算(つまり、論理演算の結果trueと関係式の2つを演算)、、結果true ↓ 左から3番目の&&は、左の論理式(a==1 && b==0 &&c==0 )の演算結果であるtrueと右の関係式b==0を論理演算(つまり、論理演算の結果trueと関係式の2つを演算)、結果true 質問3:前者の論理式、a==1 && b==0 | (a==1 && b==0)について、trueになるプロセスの認識は以下で正しいですか? (a==1 && b==0)はtrue      ↓ a==1 && b==0 はtrue      ↓ |は、右の論理式((a==1 && b==0))の演算の結果trueと左の論理式(a==1 && b==0)の演算結果trueを計算し(つまり論理演算の結果同士であるtrue2つを演算)、結果true

    • ベストアンサー
    • Java
  • 論理回路の問題です。

    EXOR回路の真理値表において入力A、Bが同じときだけ出力が“1”になるように、 論理式を作り、その回路を導出せよ。 ↑この回路の問題解ける方よろしくお願いします。

  • 論理演算について

    論理式でX=~A+~Bは、X=~(A・B)とも表すことができるとありますが、どうしてでしょうか?考え方を教えていただければ幸いです。 ※ちなみにX=~(A・B)は、Aの上方からBの上方へ否定の線を引いたのと同様のものと捉えていただければ良いです。