Given that $x\cdot(y+z)=(x\cdot y)+(x\cdot z)$ and $x+(y\cdot z)=(x+y)\cdot (x+z)$, what is the name for the opposite of those rules?
Say I'm trying to prove the opposite, and I need to simplify from the form $(x\cdot y)+(x\cdot z)$ to $x\cdot(y+z)$, what would I write for the rule I used to do it?
Thanks