12.5.1 逻辑与测试
ALIOSS:1:dzzbook/book/331943/74383569_73294970.dzzdoc