用等值演算或真值表证明公式（p→q)∧(p→r)＜＝＞p→(q∧r)

题目

用等值演算或真值表证明公式（p→q)∧(p→r)＜＝＞p→(q∧r)

答案

（p→q)∧(p→r)=（非p∨q)∧(非p∨r)
=非p∨(q∧r)
=p→(q∧r)