• 締切済み

ブール代数の証明

(1)A・B+C(A・B+/C)=A・B (2)A・/B+/A・B となるみたいなのですが、何を加えるかと、途中の式が分かりません。できるだけ早く教えてください、お願いします。

みんなの回答

  • yaksa
  • ベストアンサー率42% (84/197)
回答No.5

こういう問題は、まず、 証明の定義や使っていい公理を示してくれないと証明しようないです。 公理が示されない状態で証明?を示すことに、 意味はありません。 まあ、その上で無理やりやるなら、#3の方の通りですね。

全文を見る
すると、全ての回答が全文表示されます。
  • elmclose
  • ベストアンサー率31% (353/1104)
回答No.4

(2)については、真偽表を書けば A・/B+/A・B=Aex-orB であることが言えると思います。

全文を見る
すると、全ての回答が全文表示されます。
  • elmclose
  • ベストアンサー率31% (353/1104)
回答No.3

記号「/」は否定の意味でしょうか。 (1)は、 左辺第2項に分配則を適用すると、 右辺に導けます。 ちなみに、  T+x=T (xは変数)  x・/x=F です。 (2)は、単なる論理式であり、等式に なってませんが・・・

aaachan
質問者

補足

記号「/」は否定の意味です。 (1)は途中の式も教えていただけたら幸いです。 (2)は書き間違えてました。すみません。 正しくは、A・/B+/A・B=Aex-orBを 導きたいのですが…お願いします。

全文を見る
すると、全ての回答が全文表示されます。
  • Ryou29
  • ベストアンサー率11% (28/238)
回答No.2

"何を加えるかと" 意味が分かりません!

aaachan
質問者

補足

(1)はブール代数のa+1かa・/Aをつけたして展開したりして左辺を右辺にするようです。 (2)は式を間違えました。正しくは、 A・/B+/A・B=Aex-orB になるように導くようです。 よろしくお願いします。

全文を見る
すると、全ての回答が全文表示されます。
回答No.1

記号の意味がわかりません.→「/C」

aaachan
質問者

補足

/CはCの否定です。 (2)は書き間違えてしまいました。 正しくは、 A・/B+/A・B=Aex-orBを 導きたいのですが…。お願いします。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • ブール代数の定理を使っての証明

    分かりません。早急に解答をお願いします。 A・B+C・B=(A+C)・(A+D)・(B+C)・(B+D) (A+B)・(Aバー+C)・(B+C)=(A+B)・(Aバー+C) (A+B+C)・(A・B・C+D)=A・B・C+(A+B+C)・D (A+B)・(Aバー+B)=B 宜しくお願いします!

  • ブール代数

    ブール代数の問題です。 わかる方はぜひお応えください。 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,{A}・B・C + A・{B}・C + A・B・{C} + A・B・C=A・B+B・C+C・A 2,A+(A+B)・({A}+{B})=A+B 3,(A+B+C)・(B+C+D)・(C+D+A)・(D+A+B)=A・B+A・C+A・D+B・C+B・D+C・D 4,A+{A}・B=A+B 5,A・{B}+B=A+B { }はバーの代わりです。 の五式が成り立つ事ををブール代数の基本的性質のみ(カルノー図などを用いない)で示せという問題なのですが、全然分かりません・・・ どなたか丁寧に教えていただけませんか?? 

  • ブール代数での簡単化

    簡単化でわからない問題があったので質問させていただきます。 A・B・C+A'・B・C+A・B+(B・C)' 宜しくお願いします。

  • ブール代数の計算について質問です。

    Xの否定を/Xとします。 /A・B・C + A・B・C + /A・B・/C の演算について、以下の二通りの結果がでてきてしまいます。 どちらが正しいのでしょうか?またはさらに簡単化できるのでしょうか? ご教示のほどよろしくお願いします。 与式=/A・B・(C+/C) + A・B・C =/A・B+A・B・C または、 与式=B・C・(A+/A) + /A・B・/C =B・C + /A・B・/C 以上

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

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

  • ブール代数なんですが(T_T)

    良かったら教えてください(T_T) (1)A・B+A・B' (2)A・(A'+B) (3)A・B+A・B・C すいません。 本当に頭悪くて悩んでいます(T_T) お願いします!

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

    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(この後が解けません)

  • ブール代数について

    A×B=A×B ではA×Cはどうなるのでしょう? A(BC+BC(バー))はどうなるのでしょうか? それぞれお答えいただけると幸いです。

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

    学校の課題でブール代数の簡単化についての問題が出ました。 自分でも解いてみたのですが、自信がなかったり、わからないところがあります。 間違った解き方をしている部分、回答があっていない部分など、ご教授ください。 [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 よろしくお願いします。