Упростить формулы с помощью равносильных преобразований