简述逻辑函数的卡诺图化简法的主要原则。