在用卡诺图求逻辑函数的最简与或式的时候，如果有一个圈中的都被别的圈包含了，那么可以断定：这个圈是多余的