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

来源：学生作业学帮网 编辑：学帮网 时间：2024/07/04 06:09:04

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

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