Kola
2ое условие это следствие... из истины следует истина, если B играет, то C и D тоже играют, из лжи может следовать все что угодно, если B не играет, мы не можем однозначно определить истинность D.
что до XOR - в таких задачах xor должен быть четко обозначен, иначе или обозначает or. Тем более сказано, что задачу надо решать с использованием логических функций - то есть путем преобразований и использования and/or. Если бы там был xor - оно было бы четко обозначено.

Из условия с) ясно, что Ц точно играет (Ц=true). Дальше из условия б) Ц и Д играют, Б нет ((Ц and Д) not Б). И наконец из а) А и Б не играют, Ц играет (Ц not (А or Б)).
Ответ: А и Б не играют в шахматы, Ц и Д - играют.
ЗЫ. Вот это задача! Целый день решается, с экзамена нас бы уже выгнали всех давно.

Бред

Почему?

Как из этого условия "если Б играет то играют Ц и Д" ты получил "Ц и Д играют, Б нет"?
Если в задаче нет явного подвоха (вроде того что я описал выше - про то что должен быть напарник в игре), то нельзя однозначно определить играет Д или нет.

Упс. Не заметил. Странно, я недавно решал одному знакомому такую же задачу, так там по-моему было "если Б не играет". Автор, ты ничего не напутал? А то если Б играет, то задача решения не имеет, имхо.
Добавлено спустя 4 часа, 30 минут, 41 секунду
Предлагаю автору убить себя ап стену, ибо народ весь день трахался из-за этой ошибки b) Если B не играет, то играют C и D;