11.2 复合检验逻辑函数应用