036 .4.3 包含无关项的逻辑函数的化简