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.