mostrar texto associado

A negação da referida proposição é a proposição {[(PVQ)∧[(~R)VS]}∧{[(~P)V(~S)]↔(~Q)V(~R)]}.