用等值演算法 (q∧(p？q))→？(p∨？q)？(q∧(p？q))∨？(p∨？q)变成 合取析取？(q∧((p→q)∧(q→p)))∨？(p∨？q)变成 合取析取？(q∧(？p∨q)∧？q∨p)))∨？(p∨？q)变成 合取析取？p∧q)∨？q∨？(？p∨q)∧？q∨p)))德摩根定律？p∧q)∨？q∨？p∨q)∨？q∨p)))德摩根定律？p∧q)∨？q∨((p∧？q)∨(q∧？p)))德摩根定律？p∧q)∨？q∨((p∧？q)∨？p∧q))结合律？p∧q)∨？q∨(p∧？q)∨？p∧q)结合律？q∨(p∧？q)∨？p∧q)等幂律？q∨？p∧q)合取析取 吸收率？q∨？p 合取析取 吸收率是可满足式
离散数学 等值演算法 设p：派赵出国，q：派钱出国，r：派孙出国，s：派李出国，t：派周出国。则各条件分别符号化为：(1)p→q，(2)(sVt)，(3)(qA？7r)V(-q^r)，(4)(r？As)V(→rA-s)，(5)1-+(p^q)要求。
离散数学判断两个公式是否等值有哪些方法 一个是列真值表的方法，当两个公式的真值表完全相同时是等值的。另一种是等值演算法，从一个公式出发，利用等值式的演算证明和另一个公式世等值的。
