De acordo com as regras de De Morgan, podemos afirmar que a negação da sentença “9 é um número primo ou 16 é um número par” é:
9 não é um número primo ou 16 não é um número par.
9 é um número primo ou 16 não é um número par.
9 não é um número primo e 16 é um número par.
9 é um número primo se, e somente se, 16 é um número par.
9 não é um número primo e 16 não é um número par.