java - while ループ アルゴリズムの終了

Question

whileループ不変式のアルゴリズムは何ですか?
例えば、

while(object.width()<=15 && object.color()!=blue || object.material==green)
    buyObject(object)

オブジェクトを購入しない条件は何ですか?

Answer 1

whileの式が falseになるまでループが続きます。条件は次の式です。 object.width() <= 15 && object.color() != blue || object.material==green

その式が偽であるためには、OR ( ||)の両方の条件が偽である必要があります。

object.width() <= 15 && object.color() != blue

と

object.material==green.

2 番目が偽であるためには、何が必要かは明らかです。最初の条件では、AND ( ) でチェックされる 2 つの条件のうちの 1 つ&&が false である必要があります。

object.width() <= 15

と

object.color() != blue.

ここから、ループが停止する条件を見つけるのは簡単です。