論理演算子||について考察してみよう。

ちちち、ちゅん、ちゅん


よし、再び再開します


マックスさんたちの漁は順調かしら?


論理演算子&&の次は


論理演算子||のページを開く。



🐧    🐧 

ちゅん、ちゅ、ちゅん


ちゅん、ちゅ、ちゅん



論理演算子||は論理式と論理式をむすびつけ


1>5||12>6


のような新しい論理式を生成します。


1>5||12>6 


このように論理演算子||で結び付けられた論理式も


論理値 真1や偽0 のいずれかの値をもちます。ですか・・・・・


いくらでも複雑な論理式が生成できそうですの・・


なんだか・・・


?どこかでみたような文章のような・・・


そういえば


数学の世界でおなじような構造を持つ和集合というものを


みかけたことがあります。



ここでプログラム内における


||は、数学における和集合のような または、という意味でありません。


数学においては


AUB(AまたはB)という和集合は 


AまたはB いずれかの状態である、という状態をあらわしています。


ですが


A||Bという論理式はAまたはBである、という状態をあらわしていません。


ここで


A||Bという論理式を理解するために


1>5||12>6という具体的な論理式を例に見ながら


A||Bという論理式を観察していきましょう。


1>5||12>6という論理式において


1>5は論理的に偽であり論理値0の値をもち

12>6は論理的に真となって論理値1の値をもっています。


よって

1>5||12>6は


0||1


という状態をあらわしています。


ここで

論理式0||1を0U1のような和集合ととらえますと


論理式0||1は


数値0または数値1であるという状態をあらわす論理式になります。


ですが


「コンピュータープログラムの論理式は0か1のいずれかの値しかもたないため 」


論理式0||1も0か1の値しかとることができません。



ちゅん、ちゅん(^^)🐤


♬~ ♪~ ♬~ ♪


?なにかな・・・音楽がきこえてきます。


この場合


論理式0||1は


0の値をもつのでしょうか?


それとも1の値をもつのでしょうか?


論理式0||1は


論理値0をもつ論理式と

論理値1をもつ論理式とみなすことができます。



この場合は


1の値を持っている状態となっています


つまり


論理式0||1は真の値である数値1の値をもちます。


なぜなら


||によって結び付けられた論理式は


左辺の論理式と右辺の論理式が0の値をもつときのみ


論理値0を


それ以外の場合は論理値1を持つよう設定されています。


ですので


論理式0||1は


左辺の論理式は論理値0

右辺の論理式は論理値1

をもっているので


1の論理値をもつことになります。



論理式0||1以外にも


論理演算子||による


論理式||論理式のくみあわせによってつくられる論理式は


論理式 0||0 

論理式 0||1 

論理式 1||0

論理式 1||1


全部でこれら4通りの組み合わせになります。


そして論理式は0か1のいずれかの値をもつので


論理式 0||0 

論理式 0||1 

論理式 1||0

論理式 1||1


も0か1のいずれかの値をもつことになります。


では、では(^^)/ ここで

論理式 0||0 

論理式 0||1 

論理式 1||0

論理式 1||1

のもつ値をそれぞれ見ていきましょう。


さあ、どのような値をもつのでしょうか?


答えは


論理式 0||0は数値0の値をとります。

論理式 0||1は数値1の値をとります。

論理式 1||0 は数値1の値をとります。

論理式 1||1 は数値1の値をとります。


もし論理演算子||が 和集合Uのように


「または」 


という意味をあらわすのであれば


論理式 0||1、1||0は 0または1の両方の状態をもつことになるのですが


コンピュータプログラムにおいては


論理式 0||1、1||0は 真であり数値1の値をとるときめられています。


よって


論理演算子||は 数学における和集合Uのように


「または」 


という意味をあらわしていません。



今日は静かに時が過ぎていきます。


・・・・・・・・・・・・・・・・・・・・・・・・・


今日もいい陽射しです・・・

  • Twitterで共有
  • Facebookで共有
  • はてなブックマークでブックマーク

作者を応援しよう!

ハートをクリックで、簡単に応援の気持ちを伝えられます。(ログインが必要です)

応援したユーザー

応援すると応援コメントも書けます