Question

离散数学用等值演算法判断下列公式的类型.

Answer 1

(┐p→q)→(q→┐p)

┐(p∨q)∨(┐q∨┐p)

(┐p∧┐q)∨(┐q∨┐p)

(┐p∨(┐q∨┐p))∧(┐q∨(┐q∨┐p))

(┐p∨┐q)∧(┐q∨┐p)

┐p∨┐q

为非重言可满足式.