6.2.1 DAG形式逻辑表达式计算问题