离散数学结构 习题2.docVIP

习题 2 1．设A、B、C为任意的命题公式。 ??（1）已知A∨CB∨C，问：AB一定成立吗？ ??（2）已知A∧CB∧C，问：AB一定成立吗？ ??（3）已知┐A┐B，问：AB一定成立吗？ 答案 ??（1）不一定。 ??（2）不一定。 ??（3）一定。 2．用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值。 ??（1）┐(p∧q→q) ??（2）(p→(p∨q))∨(p→r) ??（3）(p∨q)→(p∧r) 答案 （1）矛盾式。 （2）重言式。 （3）可满足式，000，001，101，111为成真赋值。 3．用等值演算法证明下面等值式： ??（1）┐(pq)(p∨q)∧┐(p∧q) ??（2）(p∧┐q)∨(┐p∧q)(p∨q)∧┐(p∧q) ? 答案 （1）┐(pq) ?┐((p→q)∧(q→p)) ? ┐((┐p∨q)∧(┐q∨p)) ?(p∧┐q)∨(q∧┐p) (p∨q)∧(p∨┐p)∧(┐q∨q)∧(┐p∨┐q) ? (p∨q)∧┐(p∧q) （2）(p∧┐q)∨(┐p∧q) ?(p∨┐p)∧(p∨q)∧(┐q∨┐p)∧(┐q∨q) ? (p∨q)∧┐(p∧q) 4．求下列公式的主析取范式，并求成真赋值： ??（1）(┐p→q)→(┐q∨p) ??（2）┐(p→q)∧q∧r ??（3）(p∨(q∧r))→(p∨q∨r)