(q∧(p∨t))→((p∧s)→q)⇔ ¬(q∧(p∨t))∨((p∧s)→q) 变成 合取析取⇔ ¬q∨¬(p∨t) ∨((p∧s)→q) 德摩根定律⇔ ¬q∨¬(p∨t) ∨(¬(p∧s)∨q) 变成 合取析取⇔ ¬p∨¬(p∨t) ∨¬(p∧s)∨q 结合律⇔ ¬p∨¬(p∧s)∨q 吸收律⇔ ¬(p∧s)∨q 吸收律是可满足式。
