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

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

等值演算法化简：(p并q)->(p交r)
把蕴含式写成~pvq的形式然后按真值表或等值演算推导