5.4.3 逻辑分析