Algebraic_normal_form