Сколько различных решений имеет система логических уравнений? (x1 → x2) = 1 (y1 → y2 → y3) = 1 (z1 → z2 → z3 → z4) = 1 (x1 → y1) ∧ (y3 → z3) = 1

// PascalABC.NET 3.0, сборка 1157 от 02.02.2016
begin
  var a:array[1..20] of integer;
  Randomize;
  for var i:=1 to 20 do a[i]:=Random(-50,50); a.Println;
  var b:=Range(2,20,2).Select(i->a[i]);
  Writeln('Элементы с четными индексами по возрастанию');
  b.Sorted.Println;
  Writeln('Элементы с четными индексами по убыванию');
  b.SortedDescending.Println;
end.

Тестовое решение:
-15 46 -34 -3 43 16 -17 -28 -19 12 -28 -11 48 -12 -1 33 -37 9 6 -40
Элементы с четными индексами по возрастанию
-40 -28 -12 -11 -3 9 12 16 33 46
Элементы с четными индексами по убыванию
46 33 16 12 9 -3 -11 -12 -28 -40

2)
32*32=2^10
512 байт =512*8 бит =2^9 *2^3=2^12
2^12 : 2^10 = 2^2 =4 бита для одного пикселя
2^4 =16 цветов ;  ответ 16 цветов.
3)
64*32 =2^11
1 Кбайт =2^10 байта =2^13 битов
2^13 : 2^11 =2^2=4 битов
2^4 =16 цветов   ответ 16
4) 
5+5 =10 битов под кр и син
8*8=2^6
128 байт=2^7 байт=2^10 бит
2^10 : 2^6 =2^4 =16 бит
16-10 =6 бит под зелёную  ответ 6 бит
5)
32*64=2^11
512 байт =2^9*2^3 бит =2^12 бит
2^12 : 2^11 = 2 бита под один пиксель
2^2 =4 цвета           ответ 4
6)
128 *128 = 2^14
4 Кбайта = 2^2 * 2^13 битов =2^15 битов
2^15 : 2^14 =2 бита под один пиксель
2^2=4 цвета   ответ 4