卡诺图化简的基本原理利用的一个重要公式是什么