"Source: Text/System/State.text";
"Line: 594";
"Date: Thu Sep 25 21:32:21 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/State.text, line: 594
// Example: H1E8 ()
print "Example: H1E8";
ei := GetEchoInput();
SetEchoInput(true);
P := Booleans();
for x, y in P do
     (x ne y) eq (x xor y);
end for;
equal := true;
for x, y in P do
    if (x eq y) and not ((x and y) or (not x and not y)) then
        equal := false;
    end if;
end for;
equal;
SetEchoInput(ei);
