Reduce¶ Simplifies a logical condition, e.g. a polynomial equation, to an equivalent form describing all solutions. $ wo 'Reduce[x^2 == 4, x]' x == -2 || x == 2