Considere que as três afirmações a seguir têm valor lógico V, ou seja, que todas são verdadeiras.
• k é um número inteiro;
• Ou k ≤ 0 ou k ≤ 8 ;
• Se k é primo, então k não é positivo.
Se p e s indicam o produto e a soma, respectivamente, de todos os possíveis valores distintos de k, então:
