![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
No.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値論理の場合には、真理値表によって証明する方法もあります。
前提とするブール代数がどのように定義されているかが重要です。
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_16.png?e8efa67)
No.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が見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
中2です笑 証明の問題がどうし...
-
自己の存在を自己証明できますか?
-
認定書と証明書の違い
-
ミラー指数:面間隔bを求める公...
-
全国戦没者追悼式の標柱が「全...
-
関係と関係性の違いって何ですか?
-
運動方程式ma=Fは証明できますか?
-
文書に於ける、『以上』『以下...
-
「証示」 ← 何て読みますか?...
-
x>0かつy>0の否定 わかる方教え...
-
時空乱流って本当にありますか?
-
平行四辺形ABCDにおいて、辺BC...
-
整数m,nについて 「m2乗+n...
-
証明書の開封無効
-
重力場とクーロン場が保存力場...
-
『そうだからそう』を表す単語
-
原理と理論の違いを教えてくだ...
-
キノの旅「・・・・あなたが正...
-
「原」という漢字の読みについて
-
この世界が仮想現実でない事を...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
中2です笑 証明の問題がどうし...
-
ミラー指数:面間隔bを求める公...
-
計算式について教えてください。
-
√(平方根)は身の回りでどのよう...
-
社会人仮説と経済人仮説の相違...
-
理論と原理の違い
-
関係と関係性の違いって何ですか?
-
数学の逆裏対偶の、「裏」と、...
-
認定書と証明書の違い
-
証明の終わりは、「よって題意...
-
運動方程式ma=Fは証明できますか?
-
ma=Fは数学で証明されていない?
-
石丸伸二さん、とても挑戦的な...
-
証明書の開封無効
-
a,b,cを整数とする。 a^2+b^2=c...
-
キリスト教の様々な派閥の思想
-
日本で神道と仏教はどちらが先...
-
完全な円や球は、存在しない?
-
原理と理論の違いを教えてくだ...
-
x>0かつy>0の否定 わかる方教え...
おすすめ情報