Paulo trabalha ou Marcos joga futebol equivale logicamente a dizer que:

Gabarito: a)

Vamos analisar a frase "Paulo trabalha ou Marcos joga futebol". Em lógica, o "ou" é uma disjunção, que é verdadeira quando pelo menos uma das partes é verdadeira.

A equivalência lógica mais comum para "p ou q" é "se não p, então q". Ou seja, se Paulo não trabalha, então Marcos joga futebol. Isso corresponde à alternativa a).

As outras opções não refletem corretamente a equivalência lógica da disjunção apresentada.