DistributionI think of this as expanding the brackets! The distributive property allows us to expand a Boolean expression formed by the product of a sum, and in reverse shows us how terms may be factored out of Boolean 'sumsofproducts': This is (for my way of thinking as a physicist) best thought of in terms of logic gates.

