Ao realizar uma questão de lógica, Marta deparou-se com as seguintes afirmações:

I. R e S são proposições simples;

II. As proposições estão representadas na fórmula:

¬R^(¬S → R) → ¬(R ^ ¬S)

III. A tabela-verdade que representa a fórmula é: