Shannon's Expansion

Definition

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

This can be implemented in a multiplexer:

Drawing canvas

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:

Drawing canvas

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