MODULE Logical EXPORTS Main;

FROM IO IMPORT Put;
FROM Fmt IMPORT Bool;

PROCEDURE Test(a, b: BOOLEAN) =
  BEGIN
    Put("a AND b is " & Bool(a AND b) & "\n");
    Put("a OR b is " & Bool(a OR b) & "\n");
    Put("NOT a is " & Bool(NOT a) & "\n");
  END Test;

BEGIN
  Test(TRUE, FALSE);
END Logical.