Преобразование логических выражений