离散数学用等值演算法判断下列公式的类型.求大神指导这题怎么做

离散数学用等值演算法判断下列公式的类型.求大神指导这题怎么做
离散数学用等值演算法判断下列公式的类型.

求大神指导这题怎么做

离散数学用等值演算法判断下列公式的类型.求大神指导这题怎么做
(┐p→q)→(q→┐p)
┐(p∨q)∨(┐q∨┐p)
(┐p∧┐q)∨(┐q∨┐p)
(┐p∨(┐q∨┐p))∧(┐q∨(┐q∨┐p))
(┐p∨┐q)∧(┐q∨┐p)
┐p∨┐q
为非重言可满足式.