В моем решении получилось, что все три черепа - Чередователи.
За условие я принял то, что каждый череп может быть Правдолюбом (ПР), Лжецом (ЛЖ) или Чередователем (ЧЕ).
Черепа пронумеровал слева направо как Ч1, Ч2 и Ч3.
Само решение:
Череп 1. Череп утверждает, что: 1.а) существует минимум один ПР 1.б) Ч1 не ПР
Тогда: Ч1 не может быть ПР, т.к. противоречит 1.б (ПР не должен врать) Ч1 не может быть ЛЖ, т.к. противоречит 1.б (ЛЖ не должен говорить правду)
Т.о. Ч1 - чередователь, и одно из двух его высказываний ложь, а одно правда. Если Ч1 = ЧЕ, то высказывание 1.б не может быть ложным (Ч1 не может быть ПР), т.е. 1.б - правда. И тогда высказывание 1.а может быть только ложью. Из этого получаем страшный вывод - среди черепов нет Правдолюба.
Череп 3. Помним, что ПР нет. Черный череп утверждает, что: 3.а) существует минимум один ЛЖ 3.б) Ч3 не ЛЖ
Ч3 не может быть ПР (вывод от Ч1) Ч3 не может быть ЛЖ, т.к. противоречит 3.а (ЛЖ не должен говорить правду)
Т.о. Ч3 - тоже чередователь, как и Ч1 Высказывание 3.б в этом случае является правдой, и, следовательно, высказывание 3.а должно быть ложью (согласно природе Чередователей).
Из этого получаем вывод, что среди черепов нет ЛЖ.
Череп 2. Учитывая, что среди черепов нет Пр и ЛЖ, получаем, что Ч3 = ЧЕ.
Т.о. все трое - чередователи, как здесь уже писали.
При этом: Череп 1 врет в своем первом высказывании, говорит правду во втором Череп 3 (черный) врет в своем первом высказывании, говорит правду во втором Череп 2 говорит правду в первом высказывании, врет во втором
Про второго необходимо пояснить: он не утверждает, что есть только один Чередователь.
центральный - правдолюб
правый - лжец
За условие я принял то, что каждый череп может быть Правдолюбом (ПР), Лжецом (ЛЖ) или Чередователем (ЧЕ).
Черепа пронумеровал слева направо как Ч1, Ч2 и Ч3.
Само решение:
Череп 1. Череп утверждает, что:
1.а) существует минимум один ПР
1.б) Ч1 не ПР
Тогда:
Ч1 не может быть ПР, т.к. противоречит 1.б (ПР не должен врать)
Ч1 не может быть ЛЖ, т.к. противоречит 1.б (ЛЖ не должен говорить правду)
Т.о. Ч1 - чередователь, и одно из двух его высказываний ложь, а одно правда.
Если Ч1 = ЧЕ, то высказывание 1.б не может быть ложным (Ч1 не может быть ПР), т.е. 1.б - правда.
И тогда высказывание 1.а может быть только ложью. Из этого получаем страшный вывод - среди черепов нет Правдолюба.
Череп 3. Помним, что ПР нет. Черный череп утверждает, что:
3.а) существует минимум один ЛЖ
3.б) Ч3 не ЛЖ
Ч3 не может быть ПР (вывод от Ч1)
Ч3 не может быть ЛЖ, т.к. противоречит 3.а (ЛЖ не должен говорить правду)
Т.о. Ч3 - тоже чередователь, как и Ч1
Высказывание 3.б в этом случае является правдой, и, следовательно, высказывание 3.а должно быть ложью (согласно природе Чередователей).
Из этого получаем вывод, что среди черепов нет ЛЖ.
Череп 2. Учитывая, что среди черепов нет Пр и ЛЖ, получаем, что Ч3 = ЧЕ.
Т.о. все трое - чередователи, как здесь уже писали.
При этом:
Череп 1 врет в своем первом высказывании, говорит правду во втором
Череп 3 (черный) врет в своем первом высказывании, говорит правду во втором
Череп 2 говорит правду в первом высказывании, врет во втором
Про второго необходимо пояснить: он не утверждает, что есть только один Чередователь.
средний (серый) - правдолюб
правый (черный) - лжец
Центральный - чередует
Правый - чередует