关于卡诺图化简至最简与或式时约束条件的问题