mostrar texto associado

Essa proposição é logicamente equivalente à proposição {[(~R)VS]→[(~P)∧(~Q)]}V[(P∧S)↔(Q∧R)].