意思是如果a为0,b肯定不为0;

如果b为0,a肯定不为0