Михиал заполнял таблицу истинности функции ​

Задача с регионального этапа года)
На паскале решение выглядит так:
var
s,a1,a2,a3,a4:int64;
i,o:text;

function min(x,y:int64):int64;
begin
  if x>y then
   min:=y else
    min:=x;
end;

begin
assign(i,'pobeda.in');
reset(i);
read(i,a1,a2,a3,a4);
close(i);
s:=min(a1,a2)+min(a3,a4);
assign(o,'pobeda.out');
rewrite(o);
writeln(o,trunc(sqrt(s)));
close(o);
end.

Если ты пишешь на другом языке программирования, то могу коротко рассказать суть решения. Большой квадрат со стороной x получается из x^2 маленьких квадратом, которые состоят из двух прямоугольных треугольников. Такие квадраты можно составить из треугольников a1 и a2 или a3 и a4. Поэтому берём минимальное значение из a1 и a2 и минимальное из a3 и a4. Суммируем эти значения, берём корень и округляем в меньшую степень. 

В бутылке минеральная вода. Сейчас стакан не стоит между чаем и молоком. Поставить стакан между бутылкой с минеральной водой и кружкой нельзя, так как тогда он будет стоять между минеральной водой, а должен стоять рядом с чаем и молоком. Значит, стакан можно поставить между кружкой и чашкой. Стакан оказывается в середине, значит, в нем кофе. Молоко не может быть в кружке, так как по соседству с молоком будет кофе и минеральная вода, а рядом с молоком должен быть квас. Значит, молоко в чашке. Так как по соседству с молоком должен быть квас, то в кувшине квас. 
ответ: в бутылке минеральная вода, в кружке чай, в чашке молоко, в стакане кофе, в кувшине квас.