5.6.4 化简逻辑表达式