Формулой логического высказывания