以下の二つの式の評価が違うのは納得いかない In[1]:= And@@{}???General::narg: Number of arguments is expected 1 or more in And[]Out[1]:= And[] In[2]:= And[Null@@{}]Out[2]:= 1
And/Orについては対応しましたが、他にもありそうです。