Em um jogo, são encontrados dois dispositivos. Um deles faz ...

Luz acender - A; 

Número primo sorteado - B.

Representação lógica

(A <> B) = (A ^ B) v (~A ^ ~B).

Agora se vc quiser de forma simples, tenha:

Se a luz acente, foi sorteado número primo.

Se a luz não acende, não foi sorteado número primo. 

Simples assim.

Espero ter ajudado. 

 ficar atento ao que o Luiz diz, porque na tabela verdade do se, somente se (bicondicional),

falso e falso resulta em verdadeiro, ou seja,

se nas assertivas tivesse disposto que não foi sorteado número par, e a luz não acendeste

a assertiva estaria correta.

Se, e somente se, a luz ter acendido significa o número primo sorteado, então tanto dizer que o ultimo número sorteado foi primo (a)  como dizer que algum número primo foi sorteado anteriormente (d) podem significar a mesma coisa; neste caso, as duas alternativas estariam certo, ou não?

é. isto é verdade, não podemos ter certeza da resposta A, a única que se pode afirmar com certeza é de fato a resposta D. Ok.