Exact two-level minimization of hazard-free logic with multiple-input changes