Сокращение логических выражений