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

用等值演算或真值表证明公式（p→q)∧(p→r)＜＝＞p→(q∧r)
用等值演算或真值表证明公式（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)

p→q = 非p或q
左面=非p或q 并且 非p或r =非p 或 (q∧r)
右边=非p或(q∧r)
左边=右边