Булевая алгебра. Задача.

[Выпдр]

Разбойник, посаженный в тюрьму, послал своим сообщникам две записки:
1) Для побега достаточно, чтобы стража была подкуплена только тогда, когда вам удастся передать
мне веревочную лестницу.
2) Для совершения побега необходимо, чтобы стража была подкуплена и мне была передана веревочная лестница.
На следующий день разбойник опять послал своим сообщникам две записки.
Первая записка была похожа на предыдущие:
1) Если будет подкуплена стража, то для совершения побега достаточно передать мне веревочную
лестницу.
Вторая же записка была полна пессимизма:
2) Невозможно, чтобы стража была подкуплена, мне была передана лестница и побег удался.
На третий день разбойник получил ответ: «Из каждой пары твоих высказываний истинно только одно».
Какую информацию получил разбойник?

Помогите решить через булевую алгебру, пожалуйста!

[Arigato]

На третий день разбойник получил ответ: «Из каждой пары твоих высказываний истинно только одно».

Вопрос:

Какую информацию получил разбойник?

Ответ:

Из каждой пары твоих высказываний истинно только одно

[Sazary]

Arigato

Все, что вы увидите ниже, может (с достаточно большой вероятностью) содержать ошибки

A - стража подкуплена
B - лестница передана

Первая записка:
1) B ← A
2) A & B
Вторая записка:
1) A ← B
2) ~(A & B)
--------------
Составляем таблицу истинности:

   A   |   B    |  ((B ← A) xor (A & B)) & ((A ← B) xor (~(A & B)))
 false | false |  false
 false | true  |  true
 true  | false |  false
 true  | true  |  true

То есть, получается, что для побега достаточно передать лестницу или передать лестницу + подкупить стражу.

Как-то так ) Интересно будет посмотреть на решение других.

[Выпдр]

На сколько я понимаю в алгебраических выражениях должны быть не только А и В но и С-побег. я не прав?

[Sazary]

Выпдр В данном случае C = <выражение в 3-м столбце>.
Ведь побег - не условие, а искомое значение.