логика - Какую дорогу выбрать?

Предполагаю, что Иван-царевич решал указанную задачу следующим образом.

Во-первых, Иван-царевич предположил, что:

1) $%A$% - предложение "[Ты] пойдёшь [по этой дороге либо по этим дорогам].", а $%\neg A$% - предложение "[Ты] не ходи [по этой дороге либо по этим дорогам].",

2) $%B$% - предложение "[Ты] погибнешь.", а $%\neg B$% - предложение "[Ты] не погибнешь.",

3) $%C$% - предложение "[Ты] попадёшь к Кащею.", а $%\neg C$% - предложение "[Ты] не попадёшь к Кащею.",

4) $%D$% - предложение "[Ты] придёшь домой.", а $%\neg D$% - предложение "[Ты] не придёшь домой.".

Во-вторых, Иван-царевич предположил, что:

1) первая надпись "Пойдёшь, погибнешь." равносильна предложению "Если ты пойдёшь [по этой дороге], то ты погибнешь.", которое моделируется импликацией $% A \rightarrow B $%,

2) вторая надпись "Пойдёшь, к Кащею попадёшь." равносильна предложению "Если ты пойдёшь [по этой дороге], то ты попадёшь к Кащею.", которое моделируется импликацией $% A \rightarrow C $%,

3) третья надпись "Погибнешь или домой попадешь." равносильна предложению "Ты погибнешь, либо ты придёшь домой.", которое моделируется предложением $% B \oplus D $%.

В-третьих, Иван-царевич принял к сведению, что каждая из трёх надписей - ложна, то есть:

1) $% (A \rightarrow B) \leftrightarrow False \Leftrightarrow \neg (A \rightarrow B) \Leftrightarrow X $%

2) $% (A \rightarrow C) \leftrightarrow False \Leftrightarrow \neg (A \rightarrow C) \Leftrightarrow Y $%

3) $% (B \oplus D) \leftrightarrow False \Leftrightarrow \neg (B \oplus D) \Leftrightarrow Z $%

В-четвёртых, Иван-царевич вспомнил, что царь-батюшка бывало говаривал ему:

"Русское предложение «Либо $%X$%, либо $%Y$%, либо $%Z$%.» равносильно предложению «$%X \wedge \neg Y \wedge \neg Z \ \ \vee \ \ \neg X \wedge Y \wedge \neg Z \ \ \vee \ \ \neg X \wedge \neg Y \wedge Z$%»".

В-пятых, Иван-царевич сделал следующее:

$%X \wedge \neg Y \wedge \neg Z \ \ \vee \ \ \neg X \wedge Y \wedge \neg Z \ \ \vee \ \ \neg X \wedge \neg Y \wedge Z$%

$% \Leftrightarrow \neg (A \rightarrow B) \wedge \neg (\neg (A \rightarrow C)) \wedge \neg (\neg (B \oplus D)) \ \ \vee \ \ \neg (\neg (A \rightarrow B)) \wedge \neg (A \rightarrow C) \wedge \neg (\neg (B \oplus D))$% $%\vee \ \ \neg (\neg (A \rightarrow B)) \wedge \neg (\neg (A \rightarrow C)) \wedge \neg (B \oplus D)$%

$% \Leftrightarrow \neg (A \rightarrow B) \wedge (A \rightarrow C) \wedge (B \oplus D) \ \ \vee \ \ (A \rightarrow B) \wedge \neg (A \rightarrow C) \wedge (B \oplus D) \ \ \vee$% $%(A \rightarrow B) \wedge (A \rightarrow C) \wedge \neg (B \oplus D)$%

$% \Leftrightarrow \neg (A \rightarrow B) \wedge (A \rightarrow C) \wedge (\neg B \leftrightarrow D) \ \ \vee \ \ (A \rightarrow B) \wedge \neg (A \rightarrow C) \wedge (B \leftrightarrow \neg D) \ \ \vee$% $%(A \rightarrow B) \wedge (A \rightarrow C) \wedge (B \leftrightarrow D)$%

$% \Rightarrow A \wedge \neg B \wedge C \wedge D \ \ \vee \ \ A \wedge (A \rightarrow \neg D) \wedge \neg C \ \ \vee \ \ (A \rightarrow D) \wedge (A \rightarrow C)$%

$% \Rightarrow A \wedge \neg B \wedge C \wedge D \ \ \vee \ \ A \wedge \neg C \wedge \neg D \ \ \vee \ \ (A \rightarrow D)$%

$% \Rightarrow A \wedge ( C \wedge D \ \ \vee \ \ \neg C \wedge \neg D) \ \ \vee \ \ (A \rightarrow D)$%

$% \Rightarrow A \wedge ( C \leftrightarrow D) \ \ \vee \ \ (A \rightarrow D)$%

$% \Rightarrow (A \rightarrow ( C \leftrightarrow D)) \ \ \vee \ \ (A \rightarrow D)$%

И тут внутренний голос говорит Иван-царевичу: "Ванюша, не будь дураком: бери шинель, иди домой."

Задача: переведите на русский язык то, что написано в последней строке выкладок Иван-царевича?