- ベストアンサー
ブール代数の分配律について
ブール代数の分配律について (AB)+C=(A+C)(B+C) であることの証明をお願いします。 右から左はできたんですが、左から右ができません。 分りやすい解説をお願いします。
- 数学・算数
- 回答数2
- ありがとう数2
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
AB+C=AB+C(1+A+B)=AB+AC+BC+CC=A(B+C)+C(B+C)=(A+C)(B+C) 従って左辺=右辺 となります。
その他の回答 (1)
- boiseweb
- ベストアンサー率52% (57/109)
ブール代数の公理系としては,さまざまな形のものが提案されています.公理系によっては,分配律そのものが公理のひとつとされています. どのような公理系に基づいて議論するのかが明示されない限り,適切な解答は不可能です. ハンティントンの公理系に基づくなら,↓この本が参考になります. Seymour Lipschutz (著), 成嶋 弘 (翻訳) 離散数学—コンピュータサイエンスの基礎数学 (マグロウヒル大学演習) オーム社
関連するQ&A
- ブール代数
ブール代数の問題です。 わかる方はぜひお応えください。 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') 結構多いのですが、丁寧な解説をお願い致します。 全部できなくて構いません。 できる問題だけでも大丈夫です。
- ベストアンサー
- 数学・算数
- ブール代数の問題です
何時間考えても証明できないので、皆様の力をお貸しください… ブール代数の問題で、 (ab+c)(ad+b')=(abd+cb') ※'はバーの代用です を証明せよって問題です。 展開とかして、(左辺)=abd+acd+cb' とかが出てきて、手も足も出ない状況になってしまいました…。 よろしくおねがいします。
- ベストアンサー
- 数学・算数
- ブール代数 ドモルガンの法則
ブール代数の問題で、 F=(A+/B+C)•(/A+B+C) という問題があります。答えは A•B+/A•/B+C となってます。 ですがこの答えの/A/Bの部分は ドモルガンの法則で/A+/Bとはならないんですか? 解説お願いします。
- 締切済み
- 情報工学
- 論理代数(ブール代数)の問題ですが…
X=(A+B)・(A+C)+B・(A+C') ※C'はCバー ブール代数の公式等を利用して変形し、簡単化するとA+Bになるらしいのですが、惜しい(と思う)所まで行くんですが出来ません。 なるべく式などを省略せずに教えて頂けませんか。宜しくお願いします。
- 締切済み
- 数学・算数
- ブール代数に関する問題
集合間の演算である和集合演算、積集合演算、補集合演算をそれぞれ、+、・、-、の演算記号であらわし、集合Aのベキ集合を2^Aとしたとき、(2^A、+、・)はブール代数であることを証明せよ。 という問題があるのですが、そもそもブール代数というのがなんなのかよく分かりません。 http://ysserve.cs.shinshu-u.ac.jp/Lecture/bool01/node5.html http://bw-www.ie.u-ryukyu.ac.jp/~wada/digcir02/boolean.html などをみたのですが、それでも分かりません。 「ブール代数とは、そう言うものだからおぼえるしかないよ」 といわれればそうでしょうが・・・ では、そうするとどのようにして上の問題を証明すればよいのでしょうか? 分かる方がいらっしゃれば是非教えていただきたいと思います。 よろしくお願いします
- 締切済み
- 数学・算数
- ブール代数の簡単化の問題についてです。
学校の課題でブール代数の簡単化についての問題が出ました。 自分でも解いてみたのですが、自信がなかったり、わからないところがあります。 間違った解き方をしている部分、回答があっていない部分など、ご教授ください。 [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 よろしくお願いします。
- 締切済み
- 数学・算数
お礼
やっぱりそうなりますか。 別のやり方がないかなと思ったんですが、そのやり方しかないなら仕方ないですね。 ありがとうございました。