Proof of X≤Y inverse to X˃Y

[Dieter]

(09-02-2018 02:40 PM)Gamo Wrote:  I did try the single X≤Y and result is the same.

Yes.

More precisely:
If you repeat the same test n times, the result is
– the same as one single test if n is odd
– always true if n is even, i.e. nothing is tested at all.

(09-02-2018 02:40 PM)Gamo Wrote:  With X≤Y and X=0 together work on the same program that stop at 11.

No.
Try it and see what you get.

Code:

01 CLX
02 STO 1
03 1
04 STO+1
05 RCL 1
06 PSE
07  1
08  0
09 X<>Y
10 X≤Y?     ' since X is never zero
11 X=0?     ' line 10 + 11 are equivalent to "X>Y?"
12 GTO 03
13 GTO 00

Note: R1 is cleared on start, so no Clear REG is required.

What's the final number?

[  ]  1
[  ]  10
[  ]  11

Check the correct answer. :-)

Dieter