卡诺图中,两个相邻的最小项至多有一个变量互反