x = “make the functionality of the Software or a Modified version available to third parties as a service”
y = “distribute the Software or a Modified version”
You may not X, or (Y in a manner that X)
Perfectly normal legalese. Just like “included but not limited to…” it sets a condition and adds a more specific version of that condition, which seems redundant but helps during actual litigation.