>>205
>ビット列についても全く何も規定していない
それは、聞いた事が無いけど、普通ビット演算と言ったら
0&0 -> 0, 0&1 -> 0, 1&0 ->0, 1&1 -> 1
0|0 -> 0, 0|1 -> 1, 1|0 ->1, 1|1 -> 1
0^0 -> 0, 0^1 -> 1, 1^0 ->1, 1^1 -> 0
なのだから、
1+0 -> 1, 1-1 -> 0, 1*1 ->1
規定するまでもなく、ビットの列は保証されてるんじゃないの?