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: