PROGRAM Tabla;

VAR
  x1,x0,y1,y0:Boolean;

BEGIN
  WriteLn('  Y1 Y0 X1 X0  ');

    FOR y1:=false to true DO
      FOR y0:=false to true DO
        FOR x1:=false to true DO
          FOR x0:=false to true DO

            BEGIN
              Write(y1:3,'   ',y0:3,'   ',x1:3,'   ',x0:3,'   ');

              WriteLn(
                      ( not(x0) and not(x1) ) or ( y0 and y1 ) or ( y0 and not(x1) and x0  )
                      or ( y1 and not(x1) and x0  ) or ( y1 and x1 and not(x0)  )
              :4);
            END;
END.




















  S1 S0 X1 X0 Y1 Y0 R1 R0
  0  0  0  0  0  0  0   0
  0  0  0  0  0  1  0   1
  0  0  0  0  1  0  0   1
  0  0  0  0  1  1  0   1
  0  0  0  1  0  0  1   0
  0  0  0  1  0  1  0   0
  0  0  0  1  1  0  0   1
  0  0  0  1  1  1  0   1
  0  0  1  0  0  0  1   0
  0  0  1  0  0  1  1   0
  0  0  1  0  1  0  0   0
  0  0  1  0  1  1  0   1
  0  0  1  1  0  0  1   0
  0  0  1  1  0  1  1   0
  0  0  1  1  1  0  1   0
  0  0  1  1  1  1  0   0
  0  1  0  0  0  0  0   0
  0  1  0  0  0  1  0   1
  0  1  0  0  1  0  1   0
  0  1  0  0  1  1  1   1
  0  1  0  1  0  0  0   1
  0  1  0  1  0  1  0   0
  0  1  0  1  1  0  1   1
  0  1  0  1  1  1  1   0
  0  1  1  0  0  0  1   0
  0  1  1  0  0  1  1   1
  0  1  1  0  1  0  0   0
  0  1  1  0  1  1  0   1
  0  1  1  1  0  0  1   1
  0  1  1  1  0  1  1   0
  0  1  1  1  1  0  0   1
  0  1  1  1  1  1  0   0
  1  0  0  0  0  0  0   0
  1  0  0  0  0  1  0   1
  1  0  0  0  1  0  1   0
  1  0  0  0  1  1  1   1
  1  0  0  1  0  0  0   1
  1  0  0  1  0  1  1   0
  1  0  0  1  1  0  1   1
  1  0  0  1  1  1  0   0
  1  0  1  0  0  0  1   0
  1  0  1  0  0  1  1   1
  1  0  1  0  1  0  0   0
  1  0  1  0  1  1  0   1
  1  0  1  1  0  0  1   1
  1  0  1  1  0  1  0   0
  1  0  1  1  1  0  0   1
  1  0  1  1  1  1  1   0
  1  1  0  0  0  0  0   0
  1  1  0  0  0  1  0   1
  1  1  0  0  1  0  1   0
  1  1  0  0  1  1  1   1
  1  1  0  1  0  0  0   1
  1  1  0  1  0  1  1   0
  1  1  0  1  1  0  1   1
  1  1  0  1  1  1  1   0
  1  1  1  0  0  0  1   0
  1  1  1  0  0  1  1   1
  1  1  1  0  1  0  0   0
  1  1  1  0  1  1  0   1
  1  1  1  1  0  0  1   1
  1  1  1  1  0  1  0   0
  1  1  1  1  1  0  0   1
  1  1  1  1  1  1  1   0


    Source: geocities.com/v.iniestra/apuntes/dis_log

               ( geocities.com/v.iniestra/apuntes)                   ( geocities.com/v.iniestra)