4.3 逻辑分解