离散数学，用等值演算法判断下列公式类型，求详细过程，这题有三个字母，搞得我好乱啊（x_x；）

Question

如题所述

Answer 1

(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 吸收律

是可满足式。追问

能问一下倒数第二步为什么t不见了，怎么化掉的？

我懂了，吸收率……不好意思，之前没理解好，谢谢你！