論理演算子

And,論理積
結果
And
論理積
FalseFalseFalse
FalseTrueFalse
TrueFalseFalse
TrueTrueTrue
Or,論理和
結果
Or
論理和
FalseFalseFalse
FalseTrueTrue
TrueFalseTrue
TrueTrueTrue
Not
引数結果
Not
否定
FalseTrue
TrueFalse
Xor,排他的論理和
結果
Xor
排他的論理和
FalseFalseFalse
FalseTrueTrue
TrueFalseTrue
TrueTrueFalse
Eqv, 論理等価
結果
Eqv
論理等価
FalseFalseTrue
FalseTrueFalse
TrueFalseFalse
TrueTrueTrue
Imp,論理包含
結果
Imp
論理包含
FalseFalseTrue
FalseTrueTrue
TrueFalseFalse
TrueTrueTrue
And,論理積
両方真の時のみ、真である、と読みます。
AかつB
両方成立した時に条件が成立させたい時に使います。

Or,論理和
どちらかもしくは両方が真の時に、真である、と読みます。
AまたはB
どちらかが成立した時に条件成立としたい時に使います。

Not,否定
Aでない時に、という意味のときに使います。

Xor,排他的論理和
どちらかのみが真の時に真であり、両方真の場合は偽である、と読みます。

どちらかが一方のみが成立した時だけ、条件成立としたい時に使います。
論理和(どちらかが成立した時)だが、両方成立した時は、成立しないというのを
Exclusive / 排他的という表現がされています。

Eqv, 論理等価
両者の評価が論理的に同じであれば真、異なれば偽である、と読みます。
Equivalent 論理上(評価結果:True/False)で両者が同じ=等価な時に成立する、という意味です。

Imp,論理包含
前置 Imp 後置 とした場合、前置が偽なら必ず真、前置が真なら後置と同じ論理値になる、と読みます。
この論理包含というのは論理学的にも難しいですし、他の言語でもこの論理演算子はほとんどないため、まず使われません。
comments (2)

コメント

http://alysejacobos.hatenablog.com | 2017/07/31 04:10 PM
This text is invaluable. Where can I find out more?
How long does Achilles tendonitis last for? | 2017/07/29 05:49 AM
I do not even know how I ended up here, but I thought this post was good.
I do not know who you are but certainly you are going to a famous blogger if you are not already ;) Cheers!

Comment Form