Логическая задача!

булева алгебра. и принятые сокращения
1 - истина. 0 - ложь.
И - логич. умножение (*), конъюнкция, логическое "и"
ИЛИ - лог. сложение (+), дизъюнкция, лог. "или"
НЕ - отрицание (-), инверсия.
_ЛИБО_ - исключающее или. (либо/либо. осн. правила: 1 либо 0 = 1; 1 либо 1 = 0; 0 либо 0 = 0)
Эквивалентность обозначим как равенство = . 1 = 1, 0 = 0.
д. - дверь
т. д. - табличка двери

Положим, что надо верить записке на полу.
1. за д. 8 очевидно ловушка, тогда для обеспечения лжи надо 1*0=0, т. е. за д. 9 что-то есть.
2. аналогично за д. 9 - ловушка, а значит т.. д. 6 = Истина. (1*0=0)
3. Т.. д. 3 = Ложь (Истина )
4.(т. д. 5 Истина) _ЛИБО_ (т. д. 7 Ложь) = Ложь. следовательно (т. д. 5 Истина) = (т. д. 7 Ложь)

5а. допустим т. д. 7 - Ложь (а значит т. д. 5 = Истина) . тогда сокровища за дверью 1.
6а. Проверяем т. д. 5.
т. д. 2 ИЛИ т. д. 4 = 1 (достаточно истинного значения для т. д. 2, а это запросто, так как здесь "ничего нет" допускается по условию записки на полу)

5б. допустим т. д. 7 = Истина. (а значит т. д. 5 = Ложь) .
6б. Проверяем т. д. 5.
т. д. 2 ИЛИ т. д. 4 = 0. т. е. т. д. 2 = Ложь И т. д. 4 = Ложь.
6б1. т. д. 2 = Ложь (допустимо по условию задачи, т. е. там ловушка)
6б2. т. д. 4 = Ложь, следовательно т. д. 1 = Истина. (а значит сокровища за д. 1 или 3 или 5 или 7 или 9.)
6б3. т. д. 1 = Истина. т. д. 3 = Ложь (см. п. 3), т. д. 5 = Ложь (см. 5б) , т. д. 7. = Истина, т. д. 9 = Ложь.
таблички дверей 1 и 7 Истинны, и получается что сокровища за д. 7.

Облом . 1(направление "а") или 7(направление "б")?
а если авторы загадки под _ЛИБО_ имели в виду ИЛИ?
тогда
4.(т. д. 5 Истина) ИЛИ (т. д. 7 Ложь) = Ложь. следовательно (т. д. 5 Истина) = ЛОЖЬ И (т. д. 7 Ложь) = ЛОЖЬ
А это значит направление "б" и сокровища лежат в комнате 7.

ЗЫ. ффух.
кто-то поймет этот бред? ;)

А ты сам решил? У меня вроде как за 4. а что правильно, и за что зацепиться?