Boolean Identities: Computing the Runtime Savings
Any questions so far?