6.4.2 逻辑分析