问题描述:
离散数学几条简单问题
判定下列符号串是否为公式,若是,请给出它的真值表.
(1)(p∨q)→p
(2)p∧(p→q)→q
用等值演算法,证明下列等值式
(1)p→(q→r)q→(p→r)
(2)p→(q→r)(p→q)→(p→r)
判定下列符号串是否为公式,若是,请给出它的真值表.
(1)(p∨q)→p
(2)p∧(p→q)→q
用等值演算法,证明下列等值式
(1)p→(q→r)q→(p→r)
(2)p→(q→r)(p→q)→(p→r)
问题解答:
我来补答展开全文阅读