离散数学第1章课件PPT_高等教育出版社_屈婉玲_耿素云_张立昂主编.pptVIP

* * * * * * * * * * * * * * * * (1) A = (p?q) ??r 成真赋值:000,001,010,100,110; 成假赋值:011,101,111 p q r p?q ?r (p?q)??r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 真值表1 * (2) B＝(q?p)?q?p 成真赋值:00,01,10,11; 无成假赋值 p q q?p (q?p)?q (q?p)?q?p 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 真值表2 * (3) C＝? (?p?q)?q的真值表 成假赋值:00,01,10,11; 无成真赋值 p q ?p ?p?q ? (?p?q) ? (?p?q)?q 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 真值表3 * 公式的类型 定义1.10 (1) 若A在它的任何赋值下均为真, 则称A为重言式或永真式; (2) 若A在它的任何赋值下均