これらの if ステートメントを IP の制約に変更するにはどうすればよいですか?
If x-y>=0 then z=0
if x-y<0 then z=1
これらの if ステートメントを IP の制約に変更するにはどうすればよいですか?
If x-y>=0 then z=0
if x-y<0 then z=1
ブール式が 0 または 1 を生成する C (98) のような言語を想定すると、次のようになります。
z = x-y<0
z
の場合は true のブール値になりますが、x-y <0
実際の評価はです。true=1
false=0