(p→q)∧(q→p)
<=>(非p∨q)∧(非q∨p) 蕴涵等值式
<=>(非p∧非q)∨(非p∧p)∨(q∧非q)∨(q∧p) 分配律
<=>(非p∧非q)∨(p∧q) 矛盾律 同一律 交换律
<=>非(p∨q)∨(p∧q) 德摩根律
<=>(p∨q)→(p∧q) 蕴涵等值式
囧, p→q当且仅当非p∨q
则(非p∨q)∧(非q∨p)等值于(非p∧非q)∨(p∧q) //交换律
(非p∧非q)∨(p∧q) 等值于 非(p∨q) ∨(p∧q) //德摩根律
非(p∨q) ∨(p∧q) 等值于 (p∨q)→(q∧p)
没有学过,嘿嘿。。数学公式都是最基本演变来的,所以建议你试试最基本的