Qual das proposições é equivalente a  p ^ (p  ^ ~ q) ?