論理演算について質問

質問

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

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

の論理式あったとします

質問１：&&や||の論理演算子について、その『両側』にある２つの関係式を「１つ１つ評価」することにより論理演算する。この認識で正しいですか？

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

（a==1 && b==0）のa==1を評価しtrue、次にb==0を評価しtrue。
よってこの論理式はtrue
　　　　　↓
a==1 && b==0 のa==1 を評価しtrue、b==0 を評価しtrue。
よってこの論理式はtrue
　　　　　↓
||は、右の論理式（（a==1 && b==0））がtrueで左の論理式（a==1 && b==0 ）もtrueだから、論理式全体はtrueで確定しているので、評価を行わない。

回答No.2

salsberry · ベストアンサー

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

正しくありません。
||の左右に同じ部分式があってまぎらわしいので、上記の式をA && B || (C && D)と書き換えて説明します。
評価する順序はこうなります。
1. Aを評価 → true
2. &&の左側がtrueなので次に右側のBを評価 → true
3. A && Bを評価 → true
4. ||の左側がtrueなので、この時点で式全体の値がtrueであると決まり、||の右側のCやDは評価しない

回答No.1

askaaska

何を確認したいのかがいまいち分からないのだけど。

論理演算というのは
trueとfalseの組み合わせ
これだけのもの。
それ以上でもそれ以下でもないわ。

面白いテストコードを提示してあげるわ。

public class Test {
public static void main(String[] args) throws Exception {
int i = 0;
int k = 0;
if (i++ == 0 || k++ == 0) {

}
System.out.printf("i = %d, k = %d", i, k);
}
}

i++
というのは、そのロジックが実行された「後」に i = i +1を実行するという意味よ。
つまり、このコードによる出力結果が
i = 1, k = 1
ならば、i == 0 と k ==0 の両方が評価されたってことになるわ。

さて、実際はどうかしら。

この実行結果があなたの求める答えになればいいんだけど。