Доказать тождество.Паскаль

[Ultar]

uses crt;
var s,x1,x2 : boolean;
begin
clrscr;
s:= not(x1 and x2)= not(x1) or not(x2);
if s then writeln('Verno') else writeln('Neverno');
readln;
end.

Надо представить x1 и x2 во всех случаях,например:

if x1=true x2=true then тождество чему будет равно
if x1:=false x2:=true then ......
if x1:=true x2:=false then ......
if x1:=true x2:=true then

И соединить это все в одну программу.

[BDA]

var
  i: byte;
  x1, x2, s: boolean;

begin
  writeln('x1':6, 'x2':6, 's':6);
  for i := 0 to 3 do
  begin
    x1 := i and 1 = 1;
    x2 := (i shr 1) and 1 = 1;
    s := not(x1 and x2) = not(x1) or not(x2);
    writeln(x1:6, x2:6, s:6);
  end;
  readln;
end.

[Ultar]

Большое спасибо.