De acordo com as regras de equivalências lógicas, mais precisamente, as Leis de Morgan, a negação da sentença composta “3 é número primo ou 13 é número par” é:
