Python Условие
Последовательность состоит из натуральных чисел и завершается числом 0. Определите значение наибольшего элемента последовательности.
Считывайте входные данные через input() и выводите ответ через print().

Пример: вы вводите несколько чисел:

5 937 6273 863 726 431 4

Как только вы вводите 0 — программа завершает ввод.

Потом программа выводит вам максимальное число из полученных = 6273

Конъюнкция истинна, если верны все конъюнкты. Значит, все импликации должны быть истинны.
Импликация истинна во всех случаях, кроме 1 → 0, поэтому если xk = 1, то и все x с номерами, большими k, единицы. Если записывать решение в виде  строчки со значениями переменных от x1 до x5, получается 6 решений: 00000, 00001, 00011, 00111, 01111, 11111.

Аналогично, есть 6 решений для игреков: 11111, 11110, 11100, 11000, 10000, 00000.

x2 ∨ y2 = 1, значит, хотя бы одна из переменных x2, y2 истинна. Подсчитываем число комбинаций.

1) x2 истинна (решение 01111 или 11111). Подходят все 6 решений для игреков, по правилу произведения получаем 2 * 6 = 12 решений.
2) x2 ложна (4 решения). Подходят 4 решения для игреков (все, кроме 10000 и 00000). По правилу произведения 4 * 4 = 16 решений.

Всего 12 + 16 = 28 решений.

// PascalABC.NET 3.3, сборка 1605 от 31.12.2017
// Внимание! Если программа не работает, обновите версию!

begin
  var P:=new real[3,2]; // массив координат вершин
  for var i:=0 to 2 do
    (P[i,0],P[i,1]):=ReadReal2('Введите x и y вершины '+(i+1));
  // длины сторон
  var L:(real,real)->real:=(x,y)->Sqrt(x**2+y**2);
  var a:=L(P[1,0]-P[0,0],P[1,1]-P[0,1]);
  var b:=L(P[2,0]-P[1,0],P[2,1]-P[1,1]);
  var c:=L(P[0,0]-P[2,0],P[0,1]-P[2,1]);
  if (a+b>c) and (a+c>b) and (b+c>a) then // треугольник существует
    if (a=b) or (a=c) or (b=c) then Writeln('Треугольник равнобедренный')
    else Writeln('Треугольник не равнобедренный')
  else Writeln('Треугольник построить невозможно')  
end.

Замечание: для сборок ниже 1603 от 30.12.2017 необходимо заменить
Sqrt(x**2+y**2) на Sqrt(x*x+y*y)