离散数学命题逻辑练习题.docxVIP

C C．Q(PQ)Q(PQ) D． A(AB) B C C．Q(PQ)Q(PQ) D． A(AB) B 1. 2. 3. 4. 5. 6. 7. 8. 9. 、选择题 设命题公式 (A) 0,0,0 与命题公式 P A (P Q) P (Q R)，记作G,使G的真值指派为1的P, Q，R的真值是( (B) 0,0,1 (C) 0,1,0 (QR)等价的公式是( R B (P Q) 列各组公式中，哪组是互为对偶的 A P,P B P, P (D)1,0,0 C (P A,(A) (其中P为单独的命题变元，A为含有联结词的公式 命题公式(PA (Pt Q))t Q是 式。 A 重言 B 矛盾 C 可满足 面命题联结词集合中，哪个是最小联结词 A { ,? } B {,,} 命题公式 (P Q) Q) R D P (Q R) D A,A 非永真的可满足 R 的主析取范式种含小项的个数为 如果 A 命题公式 B 成立，则以下各种蕴含关系哪一个成立 (P Q) (P R) 的主析取范式中包含小项 PQ A,B,C 为任意命题公式，当( )成立时，有 A B。 A A B B A C B BC AC 10. 下面 4 个推理定律中，不正确的是 A A (A B) (A B) C (A B) A B (A B) 11. 下列命题公式是等价公式的为( )． A．PQPQ B．A(BA) A(AB) 7. 7. 一个命题公式 A(P,Q, R)的成真指派为 000, 001, 010, 100, 110,则其主合取范式 12. 12.命题公式 （P Q）的主析取范式是（ )? A. P Q B. P Q C. P Q D. P Q 13. 下列表述成立的为（ ). A. PQPQ B. BA AB C. P QQ D. A (AB) B 14. 一个公式在等价意义下， 下面哪个写法是唯一的（ ）。 A.析取范式 B.合取范式 C. 主析取范式 D.以上答案都不对 15. 是错误的。 ( ) (A) P P Q P (B) P Q R P Q R (C) P Q R Q P R Q (D) P Q Q R P 1 16 .前提条件P Q, P的有效结论是 ( ). (A) P (B) P (C) Q (D)Q 17.设命题公式 G P Q ,H P Q P ，则公式G与H满足（） (A)G H (B)H G (C) H G (D)G H 二、填空题 1.设命题公式 G= P（QR），则使G的值为1的指派是 , , . 2 .若命题变元P, Q, R赋值为（1,0,1），则命题公式G= （（P Q） R） （ P Q）的真值 是 3?公式（P Q） R的只含联接词，，的等价式为 它的对偶式 TOC \o 1-5 \h \z 为 , 4?命题公式P （Q P）的真值是 . 5?对于前提（P Q） R, R S, S，其有效结论为 6.命题公式 （P Q）的主析取范式为 ,其编码表示为 ,主合取范式的 编码为 . 为 . 任意两个不同小项的合取为 式，全体小项的析取式必为 设A，B为任意命题公式，C为重言式，若A C B C，那么A 式 ?(重言式、矛盾式或可满足式 ) 含有三个命题变项 P, Q, R的命题公式PQ的主析取范式是 三、用等值演算法证明 P (P Q) Q是重言式 四、证明(P Q) (P Q) 四、证明(P Q) (P Q) (P ? Q) 五、用先求主范式的方法证明(P tQ) (P—R) (P — (Q R) 六、 写出公式( A B) (C D)的等价式， 要求该等价式中只出现联接词 和 七、 证明： A B,( B C) C, ( A D) D 八、 证明： A (B C), (E F) C, B (A S) B E 九、设公式g的真值表如下，试求出 g的主析取范式和主合取范式(给出公式及编码) P Q R G 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 0 十、用公式推演法求(PQ)(RQ)的主析取范式与主合取范式。