mostrar texto associado

Considere que a proposição-conclusão do auditor possa ser escrita, simbolicamente, na forma P↔Q∧R em que P, Q e R sejam proposições adequadamente escolhidas. Nesse caso, a negação da proposição-conclusão do auditor estará corretamente escrita na forma [(~P)∧(Q∧R)]V[~(Q∧R)∧P].