1. Algebraic Normal Form