logic optimization