Given the boolean expression given in reverse Polish notation $$x\ y\ +\ x\ z\ +\ *\ y\ z\ *\ +$$ recover the tree, write it in usual notation and simplify.
The usual notation is
$$\begin{array}{ll} &x\ y\ +\ x\ z\ +\ *\ y\ z\ *\ +\\ \iff&(x+y)\ x\ z\ +\ *\ y\ z\ *\ +\\ \iff&((x+y)+x)\ z\ *\ y\ z\ *\ +\\ \iff&(((x+y)+x)*z)\ y\ z\ *\ +\\ \iff&(((x+y)+x)*z)\ (y*z)\ +\\ \iff&(((x+y)+x)*z)+(y*z)\\ \end{array}$$
The recovery tree is
Finally, the simplification is
$$\begin{array}{ll} &(((x+y)+x)*z)+(y*z)\\ \iff&(2*x+y)*z+y*z\\ \iff&2*x*z+y*z+y*z\\ \iff&2*z*(x+y) \end{array}$$
Is that correct? Is it possible to write $2*x\equiv2x$ and so on?
Thanks!