Записать в виде логической формулы высказывания