卡诺图中，两个相邻的最小项至少有一个变量互反。