Основы логики

3.Укажите максимальное Х, для которого истинно выражение (X 2))

4.Укажите максимальное Х, для которого истинно выражение (X 3))

5.Укажите максимальное Х, для которого истинно выражение (X 3))

6.Укажите максимальное Х, для которого истинно выражение (X 3))

7.Укажите максимальное Х, для которого истинно выражение (X 3))

8.Укажите максимальное Х, для которого истинно выражение (X 3))

9.Укажите максимальное Х, для которого истинно выражение (X 3))

10.Укажите максимальное Х, для которого истинно выражение (X 3))

15.Укажите максимальное Х, для которого истинно выражение (X =3) ˅ НЕ(X>3))

16.Укажите минимальное Х, для которого ЛОЖНО выражение (X =3) ˅ НЕ(X>3))

17.Укажите минимальное Х, для которого ЛОЖНО выражение НЕ(X>4) & (НЕ(X>=3) ˅ НЕ(X>3))

Сначала немного теории.
Тут у нас импликация(если..то...), комбинированная с конъюнкцией(и).
Таблица истинности импликации(стрелочки):
0 0 1
0 1 1
1 0 0
1 1 1
Общее правило: если a<=b, тогда правда
Таблица истинности конъюнкции(/\):
0 0 0
0 1 0
1 0 0
1 1 1
Общее правило: если есть одна ложь-всё ложь.
Про НЕ и гуманитарий поймёт.
Про данный пример:
Нам нужен вариант, где оба выражения являются правдой, т.к. между ними стоит И
Подробно рассмотрим первый вариант:
Ирина
Первая буква гласная-правда
Вторая буква гласная-ложь
Значит, результат импликации-ложь, в чём можно убедиться взглянув на таблицу истинности, но, так как НЕ так же присутствует в данном условии, это выражение возвращает правду.
Последняя буква гласная-правда
Так как оба выражения при конъюнкции правда, всё выражение является правдой и удовлетворяет условию.

Обозначим Б - число быков, К - число коров, Т - число телят.
Тогда можно записать, что
Б+К+Т=100 (1)
10Б+5К+0.5Т=100 (2)
Из (2) найдем ограничения на количества Б, К, и Т.
Б ∈ [0;10], К ∈ [0;20].
Из (1) находим, что Т=100-Б-К, Т - четное (иначе сумма не будет целой).
Эти ограничения позволят правильно построить циклы в программе.

PascalABC.NET 3.3.5, сборка 1662 от 29.04.2018
Внимание! Если программа не работает, обновите версию!

begin
  for var Б:=0 to 10 do
    for var K:=0 to 20 do begin
      var T:=100-Б-K; // из уравнения (1)
      if T.IsEven and (10*Б+5*K+T div 2=100) then
          Writeln(Б,'Б, ',K,'K, ',T,'T')
      end
end.

Результат
1Б, 9K, 90T