I think you are correct. I don't see how to simplify this formula, even though at first glance it seems like a straighforward and probably inefficient implementation of a function that is true on three or more inputs.Note that this is a majority function on four inputs.