是兼容或，你可以这么想嘛，兼容或只要一个条件为真T测表达式就为真，而排斥或是两个条件相同为假F，不同为T，即 T || T==F，F || F==F,而F || T==T,按照这么理解下来，那么在不能被100整除的前提下，只要能被4整除，或者能被400整除的就是闰年，或者既能被4整除，又能被400整除的也是闰年。像你说那个直接能被4整除是不行的，这个判断条件的子命题是这样组成的if( (year%4==0 && year%100!=0) || year%400==0)
P=(year%4==0 && year%100!=0)
Q=year%400==0
P||Q，只要P Q中有一个为真就是闰年，像2000，能被100正整除，所以P==F，但是2000也能被400整除，说以Q=T，于是P||Q=T，所以2000是闰年，其他情况你类推

排斥析取本身就不是常用的离散数学符号，按照这个逻辑，逻辑或就是离散里的析取了
要注意，C里的&&和||并不会把整个表达式计算完，只会计算到足以决定表达式真值的位置
举例：
a=1
那么0&&a++之后a还是1
而1||a++之后a也还是1