022 .5.4 逻辑函数的代数法化简