已知Z和约束条件怎么用卡诺图将其化为最简