37D Найдите корень уравнения `*`(`^`(`+`(x, `-`(1)), 3)) = 27 

Решение 

`and`(`and`(`*`(`^`(`+`(x, `-`(1)), 3)) = 27 implies `+`(x, `-`(1)) = 3, `+`(x, `-`(1)) = 3 implies `*`(`^`(`+`(x, `-`(1)), 3)) = 27) implies x = 4, x = 4 implies `and`(`*`(`^`(`+`(x, `-`(1)), 3)) = 2... 

Проверка 

:@C6=>ABL 

8AC=>: 

Ответ 

4