What is the opposite operation to distribution called?

Question

When you perform this operation from left to right: $$a\lor(b\land c)\iff(a\lor b)\land(a\lor c)$$ It's called distribution, right? So what is the opposite operation called? From right to left?

Answer 1

Distribution is the very equivalence between the two statements, so both going left to right and going right to left is Distribution.

And yes, clearly the left-to-right direction is more intuitively called Distribution than right-to-left, so often I refer to the right-to-left part as 'Reverse Distribution', 'Factoring', or 'Collecting Common Terms'. But again, technically it really is just Distribution.

Answer 2

The only term I know for this is factoring, analogous to the operation that takes $ab+ac$ to $a(b+c)$ by "factoring out" the $a$. A Google Books search on "boolean algebra" "factorize" or "factorization" shows several books that use this terminology.