判断a1逻辑与a2为零是否为真,该程序用VC2010编译器编写,