Shannon's Expansion

Definition

For all boolean functions , can be re-written in the form:

This can be implemented in a multiplexer:

Further expansions can be done:

Example

Consider the function:

(see minterm)

We have and

(see combining law, partial distributive law)

Thus we have the following circuit:

If we apply Shannon's expansion again, we get: