Looking for a potential specific term for logic phrase. [A or (A and B)]

Example: Tomorrow Fry or Fry and Leela are coming over. Fry is definitely coming over, but Leela may not.

Is that a defined thing with a specific term?

I don't have an adequate background in math/logic to make sense of the search engine results I've found.

Thanks