运用逻辑函数判断闰年