Demonstrar por tabela verdade a equivalência:
p → q ^ r ⇔ (p → q) ^ ( p → r)