Uma empresa de jogos, que produz jogos de Estratégia, Luta e Aventura, realiza uma pesquisa em um determinado shopping. São entrevistadas 230 pessoas ao total. O resultado da pesquisa foi:

• 73 pessoas jogam jogos de Estratégia;
• 106 pessoas jogam jogos de Luta;
• 102 pessoas jogam jogos de Aventura;
• 36 pessoas jogam jogos de Luta e Aventura;
• 33 pessoas jogam jogos de Luta e Estratégia;
• 35 pessoas jogam jogos de Estratégia e Aventura; e
• 15 pessoas jogam os três jogos.

Quando todos os dados foram apurados, o número de pessoas que não jogam nenhum dos três jogos é igual a: 

A detetive Sofia está analisando a equivalência da declaração condicional: "Se o professor Olavo estava na biblioteca, então a fórmula não foi roubada." Dessa forma, a proposição que é logicamente equivalente à declaração original de Sofia corresponde a: