Элементами множества А являются натуральные числа. Известно, что выражение
¬(x ∈ {2, 4, 6, 8, 10, 12}) \vee (¬(x ∈ {3, 6, 9, 12, 15}) →(x ∈ A))
истинно (т. е. принимает значение 1) при любом значении переменной х.
Определите наименьшее возможное значение произведения элементов множества A.

Я решала эту задачу ...с горем - по - полам .. простите :(..
в ней должны быть равны элементы стоящие в одной побочной диагонале. всего побочных диагоналей n+m-1. 
достаточно хранить первую строку и последний столбец,

var n, m, i, j, b : integer;
 a : array [1..30000] of integer;
  t : boolean; begin assign(input,'input.txt');
reset(input);
 assign(output,'output.txt');
rewrite(output);
  readln(n,m);
 while n+m>0 do
 begin
 t:=true;
  for j:=1 to m do
 read(a[j]);
 for i:=2 to n do begin
 for j:=1 to m-1 do begin
  read(b);
 t:=t and (b=a[i+j-1]) end;
 read(b);
 a[m+i-1]:=b end;
 if t then write('Y') else write('N');
 readln(n,m) end;
 close(output) ;
end.

Задача очень простая 
у нас есть два значения коэффициент, отражающий во сколько раз Гулливер больше лилипутов, и M – количество слоев матрацев ...
на выходе пусть у нас будет значение х-количество матрацев лилипутов, необходимых для построения матраца для Гулливера
чтоб было понятней обозначим площадь лилипута Ал и площадь гуливера Аг 
тогда х= (Аг/Ал)*М
Аг/Ал=К 
тогда х=К*М ..теперь сделаем прогу 


var К,М :integer;
begin
assign (input,'input.txt');
reser(input);
assign(output,'output.txt');
rewrite (output);
read(К,М);
writeln (К*М);
close (output);
end.