Raciocínio Lógico — interpretação de textos

Considerando as definições apresentadas no texto anterior, as letras proposicionais adequadas e a proposição Nem Antônio é desembargador nem Jonas é juiz, assinale a opção correspondente à simbolização correta dessa proposição.