Goal: Use fewer/simpler gates to implement a function. This makes the circuit faster, smaller, and lower power

The Uniting Theorem

Here f.ex. when , then , no matter what is, same when . This means we can simplify.