012 .4.2 公式法化简逻辑函数