Frage Logik C-Code

[jak]

Die Abbruchbedingung ist, daß ((a == 0) && (b==0)), d.h. man könnte schreiben
while(!((a == 0) && (b==0))){
...
}
das ist aber das selbe wie
(a!=0) || (b!=0).
Beim verneinen von Aussagen wird alles umgekehrt, aus && wird also ||.
Tabelle

|A|B|(a == 0) && (b==0)|(a!=0) || (b!=0)
|1|0|(0)&&(1) = 0      |(1)||(0) = 1
|1|1|(0)&&(0) = 0      |(1)||(1) = 1
|0|0|(1)&&(1) = 1      |(0)||(0) = 0
|0|1|(1)&&(0) = 0      |(0)||(1) = 1

Wie du siehst ist also !((a == 0) && (b==0)) das selbe wie ((a!=0) || (b!=0)).

jak