mostrar texto associado
A proposição composta [P∧Q] ∨ [(-Q) → P] é uma tautologia.