(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) 蕴涵等值式