mostrar texto associado

Caso sejam verdadeiras as proposições P e Q, a proposição (~PΛQ)V(~QΛP) será verdadeira.