等值演算法化简:(p并q)->(p交r)

问题描述:

等值演算法
化简:(p并q)->(p交r)

把蕴含式写成~pvq的形式然后按真值表或等值演算推导