Proof of X≤Y inverse to X˃Y

[Dieter]

(09-02-2018 01:52 PM)Gamo Wrote:  

Code:

05  1
06  0
07 X<>Y
08 X≤Y ?    // Line 08 to 10 test become  X>Y
09 X≤Y ?
10 X≤Y ?
11 GTO 01    // (False) number still less than 10 then loop and add

Gamo, it has just been shown that three consecutive tests do NOT invert it. So line 08 to 10 do NOT become an X>Y? test. They are exactly the same as one single X≤Y? test:

Code:

05  1
06  0
07 X<>Y
08 X≤Y ?     // is the counter still ≤ 10 ?
09 GTO 01    // then do another loop

The program works just because here NOT an X>Y? is required, but the correct test is X≤Y?. And that's what the program does: Three times X≤Y? is the same as a single X≤Y? test! I thought this was clear from the previous posts where this has been proven.

Dieter