Boolean Identities: Computing the Runtime Savings

Any questions so far?