Anwender-Dokumentation GFA-BASIC 3.0
x IMP y
x,y:
iexp
Der Operator IMP
(Implikation) entspricht emer logischen Folgerung.
Eine solche logische Folgerung kann nur dann falsch gewesen sein, wenn
aus einer wahren Aussage etwas Falsches folgt. Dementsprechend ist x
IMP y nur dann falsch, wenn x wahr und y falsch ist.
IMP arbeitet auf Bit-Ebene. Im Gegensatz zu AND, OR, XOR und EQV
ist hier die Reihenfolge der Argumente wichtig.
PRINT TRUE
IMP -1
PRINT 0 IMP FALSE
PRINT TRUE
IMP 0
--> Es erscheinen die Zahlen -1, -1 und 0 auf dem Bildschirm.
x=3
y=10
PRINT BIN$(x,4)
PRINT BIN$(y,4)
PRINT BIN$(x IMP y,4)
~-> Ausgabe:
0011
1010
1110
3-10