Or e1 || e2 || ... returns True if any expressions evaluate to True. Attributes[Or] := {Flat, HoldAll, OneIdentity, Protected} Simple examples In[1]:= True || False Out[1]= True In[2]:= False || False || False Out[2]= False