TAG: logic-minimization