问题描述: 离散数学用等值演算法判断下列公式的类型.求大神指导这题怎么做 1个回答 分类:数学 2014-12-15 问题解答: 我来补答 (┐p→q)→(q→┐p)┐(p∨q)∨(┐q∨┐p)(┐p∧┐q)∨(┐q∨┐p)(┐p∨(┐q∨┐p))∧(┐q∨(┐q∨┐p))(┐p∨┐q)∧(┐q∨┐p)┐p∨┐q为非重言可满足式. 展开全文阅读