2.2.2 用代数法化简逻辑函数