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値論理の場合には、真理値表によって証明する方法もあります。
前提とするブール代数がどのように定義されているかが重要です。
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で質問しましょう!
似たような質問が見つかりました
- 数学 高一数学 場合の数 画像あり 〔 チャート 268ページ 問題エクササイズ1番 〕 (ウ)です。 緑 2 2023/08/21 17:35
- 片思い・告白 皆さんだったら連絡先を聞きますか? 5 2022/06/23 14:44
- 統計学 不偏分散について 3 2022/03/29 15:57
- その他(プログラミング・Web制作) pythonのmap、結果の利用は1度だけ? 5 2022/06/11 12:33
- 数学 c∋z、ωきついて|z|=2のとき、 2|バーz-バーω|=|4-バーz・ω|を示す問題なんですが 1 2023/06/02 06:48
- Excel(エクセル) エクセルデーターの並び替え 5 2022/08/06 09:59
- 居酒屋・バル・バー バーのおっさん客が気持ち悪くて困っています。 当方20代女性です。 通っているバーがあり、常連と飲ん 7 2023/03/02 16:23
- 数学 任意の複素数z このようにバーが付いた時どのように変えればいいのですか? 例えば2-iにバーがつけば 2 2023/04/16 12:31
- 数学 連立方程式 5 2022/05/05 22:04
- 居酒屋・バル・バー 今度、職場の女性とバーに行きます。バーは初めてなのですが、行く時の注意点や成功する秘訣を教えてくださ 18 2022/11/15 06:34
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
中2です笑 証明の問題がどうし...
-
ミラー指数:面間隔bを求める公...
-
計算式について教えてください。
-
霊・死後の世界の存在を真面目...
-
√(平方根)は身の回りでどのよう...
-
社会人仮説と経済人仮説の相違...
-
証明の終わりは、「よって題意...
-
関係と関係性の違いって何ですか?
-
数学の逆裏対偶の、「裏」と、...
-
「証示」 ← 何て読みますか?...
-
地球人類は、ほぼ罪人悪人しか...
-
理論と原理の違い
-
幽霊って本当にいるんですか?
-
フランスのルイ17世のDNA鑑...
-
日本で神道と仏教はどちらが先...
-
数学の証明で、エレガントって...
-
なんで大学ってウィキペディア...
-
言語理論の文脈自由言語について
-
完全な円や球は、存在しない?
-
カントールの対角線論法は 間違...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
中2です笑 証明の問題がどうし...
-
ミラー指数:面間隔bを求める公...
-
計算式について教えてください。
-
理論と原理の違い
-
死後の世界はない[無]になる...
-
証明の終わりは、「よって題意...
-
勉強のことをかんがえる
-
実在とは何か
-
背理法ってどんな意味?
-
偶数奇数について質問なんです...
-
彗星とダークマター
-
数学の逆裏対偶の、「裏」と、...
-
日本で神道と仏教はどちらが先...
-
認定書と証明書の違い
-
サーティーフィケーションについて
-
河童
-
二項定理を用いて、つぎのこと...
-
a,b,cを整数とする。 a^2+b^2=c...
-
社会人仮説と経済人仮説の相違...
-
(命題) 三角形の内角のうち少...
おすすめ情報