2.3.5 与或逻辑函数的化简