Reducir al máximo la siguiente proposición : { [ ( p → q ) ^ p ] v ¬ ( q → p ) } → ¬ ( pv¬q )
​