程序设计基础-逻辑验证