63、可满足式是指在一个命题形式中不论 其中的变项取什么值,该命题形式的值 至少在一种情况下是真的。 e如:p∧q p∧q pTTFF qTFT T F F F3、可满足式是指在一个命题形式中不论 其中的变项取什么值，该命题形式的值 至少在一种情况下是真的。 如：p ∧ q p q p ∧ q T T T T F F F T F F F F