- ベストアンサー
ブール代数について教えてください
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
あなたのブール代数の定義が分かりませんが、次の公理によって定義されているものとして、説明します。 集合Sが2つの演算+と・をもつとき、(S,+,)がブール代数であるとは、次の公理系を満たすことである。 (1)任意のA,B∈Sに対して、A+B∈S、A・B∈S (2)任意のA,B∈Sに対して、A+B=B+A、A・B=B・A (3A)任意のA∈Sに対して、A+0=Aとなる要素0∈Sが存在する。 (3B)任意のA∈Sに対して、A・1=Aとなる要素1∈Sが存在する。 (4)任意のA,B,Cに対して、A・(B+C)=A・B+A・C、A+(B・C)=(A+B)・(A+C) (5)任意の要素A任意のA∈Sに対して、A+A(バー)=1かつA・A(バー)=0となる要素A(バー)∈Sが存在する。 (6)Sは少なくとも異なる2つの要素を含む。 従って、A+A(バー)=1、A・A(バー)=0は公理5から明らか。これが成り立たなければ、ブール代数でない。 残りは、公理から導ける定理です。(最初と最後のは、間違い) 初めに、(+、・、0、1、(バーありなし))を (・、+、1、0、(バーなしあり))にそれぞれ変更したとき、 公理系は不変であることに注意します。(この性質を双対性という) そのため、双対の関係にある定理は、一方を証明すれば、他方は自動的に証明されたことになる) A+A=Aの証明 A=A+0=A+A・A(バー)=(A+A)・(A+A(バー)=(A+A)・1=A+A 従って、双対性より、A・A=Aも証明される。 A+1=1の証明 A+1=(A+1)・1=1・(A+1)=(A+A(バー))・(A+1 =A・(A+1)+A(バー)・(A+1) =(A・A+A・1)+(A(バー)・A+A・1) =(A+A)+(0+A(バー)) =A+A(バー)=1 双対性から、A・0=0も証明される。 A+A・B=Aの証明 A+A・B=A・1+A・B=A・(B+1)=A・1=A 双対性から、A・(A+B)=Aも証明される。 A+A(バー)・Bの証明 A+A(バー)・B=(A+A(バー))・(A+B) =1・(A・B)=A・B 双対性から、A・(A(バー)+B)=A・B または、A・(A(バー)+B)=A・A(バー)+A・B =0+A・B=A・B というように証明されます。 集合の部分集合族がブール代数になることから、ベン図を使って 説明することがありますが、正式な証明にはなりません。 質問者の方は、どちらをお望みですか? また、2値論理の場合には、真理値表によって証明する方法もあります。 前提とするブール代数がどのように定義されているかが重要です。
その他の回答 (1)
最後の >A・(A(バー)+B)=A(バー)+B(バー) は変です。 >A+1=A これも変 A・1=Aの間違いでは無いでしょうか。 >A+A=A 自分自身を幾ら足しても要素は増えません。 >A+A(バー)=1 ある集合と全体集合からその集合を除いたものを足せば、当然「全体集合」です。ここで1は全体集合を表しています。 >A・A(バー)=0 ある集合と全体集合からその集合を除いたものの共通部分は「空集合」です。 >A+(A・B)=A ある集合と他の集合の共通部分ともとの集合を加えたら、元の集合です。 >A・(A+B)=A ある集合と別の集合の和と元の集合の共通部分は元の集合になります。 >A+(A(バー)・B)=A+B 全体集合からある集合を除いたものと別の集合の共通部分に元の集合を足せば元の集合と別の集合の和になります。 図で示すと良く分ります。ためしてみて下さい。
お礼
お返事有難う御座います。 説明有難う御座いました。直感的に意味がわかりました。
関連するQ&A
- ブール代数の問題なのですが・・・・・
A+{A}・B=A+B {B}+B=A+B { }はバーの代わりです。 の2式が成り立つ事ををブール代数の基本的性質のみ(カルノー図などを用いない)で示せという問題なのですが一応自分なりに解いてみたりもしたのですが全然分かりません。 どなたか丁寧に教えていただけませんか??
- 締切済み
- 数学・算数
- 論理代数(ブール代数)の問題ですが…
X=(A+B)・(A+C)+B・(A+C') ※C'はCバー ブール代数の公式等を利用して変形し、簡単化するとA+Bになるらしいのですが、惜しい(と思う)所まで行くんですが出来ません。 なるべく式などを省略せずに教えて頂けませんか。宜しくお願いします。
- 締切済み
- 数学・算数
- ブール代数の問題の計算過程を教えてください。
こんにちは。 画像の問題は、H21工事担任者試験のブール代数の問題です。 答えは「Aバー」になるそうなんですが、自分で解いてみると、どうしてもCを消せません。 答えの「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') 結構多いのですが、丁寧な解説をお願い致します。 全部できなくて構いません。 できる問題だけでも大丈夫です。
- ベストアンサー
- 数学・算数
お礼
お返事有難う御座います。 詳細な説明有難う御座いました。よくわかりました。