Помогите составить таблицу истинности.

"каждый из них в своих показаниях правильно назвал либо цвет, либо марку автомобиля" - скорей всего
значит что Или здесь исключающее.
синего цвета, «Жигули» = A v B
«Волга» черного цвета = C v D
«Мерседес» , никак не синий = E v ¬A [возможно здесь только 2 альтернативы по цвету учесть, т. е. чёрный и не синий = Ev(DV¬A)]
ƒ(A;B;C;D;E) = (A v B) & (C v D) & (E v ¬A)
Результат:
http://www.wolframalpha.com/input/?i=Truth table (A Nor B) And (C Nor D) And (E Nor (Not A))
Т. е. из предпосылок выше инспектор не мог сделать обоснованный вывод о том какая марка и цвет автомобиля были у преступников (даже если последнего свидетеля интерпретировать как двойное отрицание "никак не синий" = ¬(¬A) = A )

Хотя может и напутал чего.

Ну что ж введем обозначения:
A-жигули, B-волга, C-мерс
D-синяя, E-черная, not(D) -не синяя.
Теаерь сформируем функцию:
1)только одно из утверждений каждого из свидетеля верно, следовательно:
(A xor D) And (B xor E) And (C xor (Not D)) (то бишь не совпадают попарно A и D и т .д. )
Это первая часть функции.
2)из A,B,C нас устраивает только такие ситуации когда ровно одна из них true, то есть не может быть машина сразу и волгой и жигулями, а только одним из. Отсюда вторая часть: (A XOR B XOR C)
3)Такая же ситуация и с цветами, машина не может быть сразу и черной и синей, отсюда: (D XOR E)
4.Все три предыдущих пункта должны выполняться одновременно, отсюда функция:
F=(A xor D) And (B xor E) And (C xor (Not D)) AND (A XOR B XOR C) AND (D XOR E);
Расписывать самому таблицу лень, используем инструмент:
http://www.wolframalpha.com
Вбиваем в единственное поле ввода:
Truth table (A xor D) And (B xor E) And (C xor (Not D)) AND (A XOR B XOR C) AND (D XOR E) и вуаля.
Из полученной таблицы видим единственный вариант дающий истину: A=True,B=C=D=False,E=True
Отсюда: это были черные жигули. Вот.: )