ВДИ - 2010/11. Финал-2011. Гала-турнир

Сайт математического юмора утверждает, что у человека, хоть немного знакомого с алгеброй логики, не возникает вопросов по поводу этого знаменитого выражения: оно всегда истинно. Напишите это выражение.