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