• 締切済み

ブール代数を用いた、論理式の簡単化について、教えてください。

Fをブール代数の公式を用いて、簡単化せよ。(用いた公式を明記せよ)という問題がどうしても、途中から解けません。どなたか教えてください。 一応、途中まで自分なりに解いたのを書いておきます。 また、途中間違っているところがあれば指摘をお願いします。 F=(A+B)(¬A+C) =A(¬A+C)+B(¬A+C) =A¬A+AC+B¬A+BC =0+AC+B¬A+BC =AC+B¬A+BC(この後が解けません)

みんなの回答

noname#94461
noname#94461
回答No.2

デジタル回路について色々と書かれている資料がありましたので御参考まで http://www.ie.u-ryukyu.ac.jp/~wada/digcir07/boolean.html http://www.ie.u-ryukyu.ac.jp/~wada/lecture.html

show1986
質問者

お礼

大変参考になりました。 どうもありがとうございました。

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

途中はこれでいいと思います。 では続きを F=AC+¬AB+BC=AC+¬AB+(A+¬A)BC (A+¬A=1) =AC+¬AB++ABC+¬ABC =AC+ABC+¬AB+¬ABC =AC(1+B)+¬AB(1+C) =AC+¬AB (1+B=1,1+C=1) となります。つまり、BCが消えます。

show1986
質問者

お礼

とても、分かりやすく理解できました。 どうもありがとうございました。

関連するQ&A

  • ブール代数を使った論理式の解き方

    (A+B)・(A・C+A・B)・(A+C) 上記式をブール代数の公式等を用いて簡単にしなさいという問題ですが、 文字の上に-(読み方忘れてしまいました、インバース?) ・問題 ・解答 ・理解できないところ をPDF添付ファイルで記入してあります。 どうかよろしくお願いします。

  • ブール代数の公式

    ブール代数の公式 (A+C)・(B+C')=A・C'+B・C を導き出す課題が与えられたのですがさっぱりわかりません。ブール代数の意味もよくわかりません。どなたか解説をお願いできませんか?

  • 論理代数(ブール代数)の問題ですが…

    X=(A+B)・(A+C)+B・(A+C') ※C'はCバー ブール代数の公式等を利用して変形し、簡単化するとA+Bになるらしいのですが、惜しい(と思う)所まで行くんですが出来ません。 なるべく式などを省略せずに教えて頂けませんか。宜しくお願いします。

  • 論理式の簡単化が分かりません。

    下記の問題の回答がどうしても分かりません。 どなたか教えてください。 F=¬{¬(X+Y)+¬(XY)}をDeMorganの定理とブール代数の公式を用いて簡単化せよ。(用いた公式を明記せよ) この問題が最初から分からず、どうしても進めません。 どうかお願いします。

  • ブール代数の問題で

    学校でやっている勉強で、ブール代数のところがよくわかりません。 「F=A・B+A・B'+A'・Bを簡単化する」 という問題では、 F=A・(B+B')+A'・B =B+B'=1 =A・1+A'・B =A+A'・B =A+B となるそうですが、最初の F=A・(B+B')+A'・Bのところがよくわかりません。 どうして(B+B')になるんでしょうか? 解説をお願いします。 また、ブール代数の定理(吸収の法則、ド・モルガンの定理など)は、暗記したほうがいいのでしょうか?

  • ブール代数 ドモルガンの法則

    ブール代数の問題で、 F=(A+/B+C)•(/A+B+C) という問題があります。答えは A•B+/A•/B+C となってます。 ですがこの答えの/A/Bの部分は ドモルガンの法則で/A+/Bとはならないんですか? 解説お願いします。

  • ブール代数の簡単化の問題についてです。

    学校の課題でブール代数の簡単化についての問題が出ました。 自分でも解いてみたのですが、自信がなかったり、わからないところがあります。 間違った解き方をしている部分、回答があっていない部分など、ご教授ください。 [1] a'b + a'c' + abc = a'(b + c') + abc [2] ab' + ab + a'b' = a(b' + b) + a'b' = a + a'b' [3] ab + ac + ab'c' = ab + a(c + b'c') = ab + a(c + b') = ab + ac + ab' = a(b + b') + ac = a + ac = a [4] ab+ c + abc + bc' = (ab + abc) + (c + bc') = ab + c + b = (ab + b) + c = b + c [5] ab + abc + ab' + ab'c' = (ab + abc) + (ab' + ab'c') = ab + ab' = a [6] a'b'c' + a'bc' + abc' + ab'c' = a'c'(b' + b) + ac'(b + b') = c'(a' + a) = c' [7] abc + ab'c + abc' + ab'c' + a'b'c' = ab(c + c') + ab'c + c'b'(a + a') = ab + ab'c + c'b' = ab + b'(ac + c') = ab + b'(a + c') = ab + ab' + b'c' = a(b + b') + b'c' = a + b'c' [8] a'bc'd + abcd' + abcd + a'bcd' + a'bcd = a'bc'd + abc(d' + d) + a'bc(d' + d) = a'bc'd + bc(a + a') = a'bc'd + bc [9] abd + ab'd' + acd + ac' = a(bd + b'd') + a(cd + c') = a(1) + a(d + c') = a [10] (a + bc)(a + cd) = a + bc * cd = a + bcd よろしくお願いします。

  • ブール代数の問題なのですが・・・・・

    A+{A}・B=A+B {B}+B=A+B { }はバーの代わりです。 の2式が成り立つ事ををブール代数の基本的性質のみ(カルノー図などを用いない)で示せという問題なのですが一応自分なりに解いてみたりもしたのですが全然分かりません。 どなたか丁寧に教えていただけませんか?? 

  • ブール代数

    ブール代数の問題です。 わかる方はぜひお応えください。 1.次の式を証明しなさい。また、双対を書きなさい。 (1)a+a'*b=a+b (2)(a+b)*(b+c)=a*c+b (3)(a*1)*(0+a')=0 2.次のブール式を加法標準形にしなさい。 (1)xz+xyz (2)xz+y'z+xyz (3)(x+y'z)'+(xyz'+x'y)' 3.次のブール式を完全加法標準形にしなさい。 (1)xy+xz' (2)z(x'+y)'+y' 4.次のブール式を加法標準形にし、さらに完全加法標準形にしなさい。 (1){(x'+y)'+x'y}' (2)x(x'+y)+y'z (3)(x'y')'(x'+xyz') (4)(x+y)(x+yz') 結構多いのですが、丁寧な解説をお願い致します。 全部できなくて構いません。 できる問題だけでも大丈夫です。

  • ブール代数の計算

    ブール代数の計算についてです。 (1)¬x+y (2)¬(¬x・y) (3)1-xy (4)¬x+xy (5)¬(x(¬x+y)) この5つのブール式のうち、同値である組み合わせを教えていただきたいです。 できれば(1)=(2)だったときに、途中計算で使用した公式などもおしえていただきたいです。 細かくてめんどうではありますが、他の計算問題などもとけるようになりたいのでよろしくお願いします。