Or[And[a,b],And[b,c],And[c,d]]