論理演算について質問

質問

int a=1,b=0,c=0のとき

a==1 && b==0 || （a==1 && b==0）

a==1 && b==0 &&c==0 && b==0

の2つの論理式あったとします

質問１：&&や||は、その間にある２つの関係式や２つの関係式の論理演算の結果同士などを論理演算するものだと思います。この認識で正しいですか？

質問２：上記の論理式の後者a==1 && b==0 &&c==0 && b==0について、trueになるプロセスの認識は以下で正しいですか？

a==1 && b==0 はtrue
　　　　　　↓
　左から２番目の&&は、左の論理式（a==1 && b==0）の演算結果であるtrueと関係式c==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、、結果true
↓
左から３番目の&&は、左の論理式（a==1 && b==0 &&c==0 ）の演算結果であるtrueと右の関係式b==0を論理演算（つまり、論理演算の結果trueと関係式の2つを演算）、結果true

質問３：上記前者の論理式a==1 && b==0 || （a==1 && b==0）について、trueになるプロセスの認識は以下で正しいですか？

（a==1 && b==0）はtrue
　　　　　↓
a==1 && b==0 はtrue
　　　　　↓
||は、右の論理式（（a==1 && b==0））の演算の結果trueと左の論理式（a==1 && b==0）の演算結果trueを計算し（つまり論理演算の結果同士であるtrue２つを演算）、結果true

回答No.1

jjon-com · ベストアンサー

１：はい，正しいです。
２：はい，正しいです。

３：いいえ，違います。
「左の条件式 || 右の条件式」のように論理和で結ばれた条件式をJavaは次のように評価します。
(1) 左の条件式を評価
(2a) 左の条件式の評価結果がtrueならば右の条件式は評価しない（論理和は片方さえtrueであれば全体もtrueになるので）
(2b) 左の条件式の評価結果がfalseならば次に右の条件式を評価する

よって，質問文で提示された論理式の評価プロセスは次のとおりです。

(1) 左の条件式 a==1 && b==0 を評価　→結果はtrue
(2) 全体が論理和で構成されているので，左がtrueなら右は評価しない
(3) よって，全体はtrue

お礼

丁重でシンプルなご回答ありがとうございます！

質問３について、 &&が &であったならば、僕の質問３で示した認識で正しいですか？