Постройте таблицу истинности функции F = не((не(С \/ В) \/ В) /\ (А /\ В)) \/ В. Является ли функция F тождественно истинной (всегда 1)?

В Делфи не проверял, но должна работать. Если что, пиши.
const
  n=5;
  m=6;
var
   a:array[1..n,1..m]of integer;
   i,j,s,p,min,max:integer;
begin
s:=0;
p:=0;
for i:=1 to n do
  for j:=1 to m do
    a[i,j]:=random(10);
min:=a[1,1];
max:=min;
for i:=1 to n do
  begin
  for j:=1 to m do
    begin
    write(a[i,j]:3);
    if a[i,j]>max then max:=a[i,j];
    if a[i,j]<min then min:=a[i,j];
    end;
  writeln
  end;
for i:=1 to n do
  begin
  if p>2 then break;
  for j:=1 to m do
    begin
    if p>2 then break;
    if a[i,j]=max then p:=p+1;
    if a[i,j]=min then   p:=p+2;
    if p>0 then s:=s+a[i,j];
    end;
  end;
writeln('S=',s)    
end.

Const
n=10;
var
a:array[1..n]of integer;
i,j,buf:integer;
begin
   for i:=1 to n do
      begin
         a[i]:=random(3);
         write(a[i]:4);
      end;
{сортирую по возрастанию}
 for i:=1 to n-1 do
    for j:=i+1 to n do
       if a[i]<a[j]then
         begin
               buf:=a[i];
                a[i]:=a[j];
                a[j]:=buf;
         end;
{пересылаю нули в конец масива}
for i:=1 to n-1 do
    for j:=i+1 to n do
       if a[i]=0 then
         begin
               buf:=a[i];
                a[i]:=a[j];
                a[j]:=buf;
         end;
for i:=1 to n do
   write(a[i]:4);
end.