Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
WP-Kalkül 25. Februar 2010
wp(“if (x < 0) || x > 7) { x = 7 - x;} else {x = 8 + x;}”, x!=7)
[(x < 0) || (x > 7) und wp(“x = 7 - x;”, x!=7)] oder [(x >= 0 && x <= 7) und wp(“x = 8 + x;”,x!=7)]
[(x < 0) || (x > 7) und (7 - x!=7)] oder [(x >= 0 && x <= 7) und (8 + x !=7)]
[(x < 0) || (x > 7) und (x != 0)] oder [(x >= 0 && x <= 7) und (x != -1)]
[(x < 0) || (x > 7)] oder [(x >= 0 && x <= 7)]
=> true
ist das so richtig?
sieht schon gut aus
Hab auch das raus, wobei ich die letzte Zeile nicht mehr geschrieben, ich hab da gleich geschrieben true || true = true.
Oder muss man da auch die letzte Zeile angeben und wenn ja dan was passiert mit den Termen in den Klammern (also x !=0 und x != -1)