Hi,
program Project1;
var
a, b :boolean;
begin
while ((a and b) <> not (not a or not b)) do
writeln('Hello World!');
end.
According to the theorem of de Morgan the boolean expression is always false.
It doesnt matter if the variables are initialized or not.
So the program will do nothing.
Is there any compiler, might it be C or pascal or what else, that is clever enough to optimize this program?