Доказать что формула тождественно-истинная

[whitefox]

(arseniiv)

Ну да, ну да. Именно это составитель и скажет в своё оправдание.

[bot]

(whitefox)

А здесь и не надо оправдываться, именно так и надо понимать, что переменные сидят в $A, B, C$ - речь ведь явно не о тавтологии в исчислении высказываний.

[whitefox]

(Оффтоп)

Пожалуй, соглашусь с arseniiv и bot.