Разбойник посаженный в тюрьму послал своим сообщникам 2 записки 1) Для побега достаточно, чтобы стража была подкуплена только тогда, когда вам удастся передать мне веревочную лестницу.

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
То есть, получается, что для побега достаточно передать лестницу или передать лестницу + подкупить стражу.