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