使用卡诺图化简逻辑函数的依据是什么？

使用卡诺图化简逻辑函数的依据是什么？
正确答案：相邻的最小项只有一个变量不同