De acordo com os teoremas do matemático De Morgan, a negação da afirmação “Carlos é servidor público ou Paulo é atleta” é: