PROGRAM Tabla;

VAR
  s1,s0,x1,x0,y1,y0,r1,r0:Integer;

BEGIN
  WriteLn('  S1 S0 X1 X0 Y1 Y0 R1 R0  ');
  FOR s1:=0 to 1 DO
    FOR s0:=0 to 1 DO
      FOR x1:=0 to 1 DO
        FOR x0:=0 to 1 DO
          FOR y1:=0 to 1 DO
            FOR y0:=0 to 1 DO
            BEGIN
              Write(s1:3,s0:3,x1:3,x0:3,y1:3,y0:3);

              {* R1: *}
              Write (
                     (not(S1) and X1 and not(Y1) )
                     or (S0 and not(X1) and Y1)
                     or (not(S1) and not(S0) and X1 and X0 and not(Y0))
                     or (not(S1) and not(S0) and X0 and not(Y1) and not(Y0))
                     or (S1 and X1 and  not(Y1) and not(X0))
                     or (S1 and not(X1) and Y1 and not(X0))
                     or (S1 and not(X1) and not(Y0) and Y1)
                     or (S1 and X1 and not(Y0) and not(Y1))
                     or (S1 and X1 and X0 and Y1 and Y0)
                     or (S1 and not(X1) and X0 and not(Y1) and Y0)
              :3);

              {* R0: *}
              WriteLn(
                      (S0 and not(X0) and Y0)
                      or (S0 and X0 and not(Y0))
                      or (S1 and X0 and not(Y0))
                      or (S1 and not(X0) and Y0)
                      or (not(S1) and not(S0) and not(X1) and Y1)
                      or (X1 and not(X0) and Y1 and Y0)
                      or (not(X1) and not(X0) and not(Y1) and Y0)
              :4);
            END;
END.

{*or (not(S1) and not(S0) and not(X1) and not(X0) and not(Y1) and not(Y0))*}























  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)