Boolean distributivity

Distributivity of OR

The distributive law of boolean ORing says whenever we have an expression of the form , we can distribute the AND over the OR to get .

This is because the AND operation requires both sides to be true for the result to be true, so for to be true, we need to be true and either or to be true, which is the same as saying we need and to be true or and to be true, which is what says.

Or, you can just think of it like how you ‘expand brackets’ in maths, it works basically the same way.

This also works the other way around, we can factor out the from to get .

The important thing is that we recognise the is common in both of the terms which are ORed together, so that’s what goes on the outside of the brackets. This is the same as how we factorise in maths.

We put the inside the brackets because, when we take away the two from the two terms, we are left with . That goes inside the brackets, again, just like in normal factorising.

This also works for more than 2 terms, for example:

Distributivity of AND

We can also distribute a slightly different way, more similar to how we would expand and factorise double brackets.