-Цитата от sm0ke 
-Цитата от luimorte С помощью таблиц истинности сделал,а вот путем равносильных преобразований не могу.
Таблицы истинности, звучит как контекст пророчества.
ну не я это придумал,сам понимаешь,
лучше бы по проблемке чего-нибудь отписал,если шаришь,а то пиздец прижимает(