Запишите логическую функцию с использованием условных обозначений -логики. составьте схему и таблицу значений логической функции: y=х1 и х2 или х3 или не х4

Таблица истинности и функциональная схема приведены во вложениях.

Var
  A: array [1..255] of integer;
  N, i, j, k, min, max: integer;
begin
  //Ввод количества элементов в массиве
  write('Введите четное количество элементов: ');
  readln(N);
 
  //Ввод двух чисел для диапазона случайных чисел
  write('Введите диапазон случайных чисел: ');
  readln(min, max);
 
  //Инициализация датчика случайных чисел.
  //(в PascalABC.NET необязательно)
  randomize;
 
  //Заполнение массива
  for i := 1 to N do
  begin
    A[i] := random(max-min+1)+min;
    write(A[i]:4);
  end;
  writeln;
 
  //Сортировка первой половины по убыванию
  for i := 1 to ((N div 2)-1) do
    for j := 1 to (N div 2)-i do
      if A[j] > A[j+1] then
      begin
        k := A[j];
        A[j] := A[j+1];
        A[j+1] := k;
       end;
       
  //Сортировка второй половины по убыванию
  for i:=(N div 2) to N-1 do
    for j:=i+1 to N do
      if A[i]<A[j] then
      begin
        k:=a[i];
        A[i]:=A[j];
        A[j]:=k;
      end;

  //Вывод массива
  for i := 1 to N do write(A[i]:4);
  writeln;
  readln;
end.

Ну смотри... Допустим мы берем Артёма. Мы знаем, что каждый из свидетелей дал только 1 правильное указание. Допустим Артем сказал, что машина не черная, и допустим это правильно. Выходит, раз это правильно (то, что машина не черная), то Глеб ошибся с первым показателем (цветом), но был прав со вторым (марка Рино). Следовательно, мы уже точно установили марку машины, разбираемся с цветом. Поскольку Владимир говорит, что машина Тойота, но мы то уже установили, что марка Рино, следовательно он правильно указал цвет. 
Из всего этого следует, что ответ: машина "Renault", серого цвета.