Таблицы истинности для логических выражений​

Ну, поскольку уточнения по задаче не получил, буду считать, что цифра 1 может встречаться ровно два раза в КАЖДОЙ комбинаций (в противном случае ответ, конечно, будет другой):

Всего используется 4 знака.Нормализуем последовательность к нулю , от этого количество комбинаций не изменится:
было : 111111 - 44444
стало:  00000 - 33333

Исключаем из общего количества комбинаций комбинации с двумя единицами (всего 9):
11ххх 1х1хх 1хх1х 1ххх1
х11хх х1х1х х1хх1
хх11х хх1х1
ххх11
значимыми остаются только 3 разряда из 5.
333 в 4-ричной системе счиления равно 63 в 10-ричной. - именно столько комбинаций будет при условии, что  два разряда выставлены в единицы.
9х63=563 - столько комбинаций будет всего.

// PascalABC.NET 3.1, сборка 1256 от 21.06.2016
begin
  case ReadInteger('Номер месяца (1-12):') of
  1,2,12:Writeln('Зима');
  3..5:Writeln('Весна');
  6..8:Writeln('Лето');
  9..11:Writeln('Осень');
  else Writeln('Неверный номер месяца')
  end
end.

Вариант "для школьников"
// PascalABC.NET 3.1, сборка 1256 от 21.06.2016
var n:integer;
begin
  Write('Номер месяца (1-12): '); Read(n);
  case n of
  1,2,12:Writeln('Зима');
  3..5:Writeln('Весна');
  6..8:Writeln('Лето');
  9..11:Writeln('Осень');
  else Writeln('Неверный номер месяца')
  end
end.