begin
   comment 'LIBRARY' 1;
   integer
     I,
     J,
     CASE;
   procedure CHECKB(BOOL, ANSWER);
      value
        ANSWER;
      boolean
        BOOL;
        integer
        ANSWER;
   begin
      boolean
        B;
      procedure FAIL;
      begin
         OUTREAL(99, I);
         OUTREAL(99, J);
         OUTREAL(99, CASE)
      end;
      for I ≔ 0,
        1 do
           for J ≔ 0,
           1 do
            begin
               B ≔ ANSWER ÷ 2 × 2 = ANSWER;
               if B then
               begin
                  if BOOL then
                  else
                    FAIL
               end
                 else if BOOL then
                 FAIL;
               ANSWER ≔ ANSWER ÷ 2;
            end;
      CASE ≔ CASE + 1
   end CHECKB;
   CASE ≔ 1;
   CHECKB(J = 0 ∨ I = 0, 8);
   CHECKB(J = 0 ∧ I = 0, 14);
   CHECKB(J = 0 ≡ I = 0, 6);
   CHECKB(J = 0 impl I = 0, 4);
   CHECKB(J = 0, 10);
   CHECKB( ¬ (J = 0), 5);
   OUTREAL(99, CASE)
end