离散数学重点笔记(共16页).doc

精选优质文档-倾情为你奉上第一章， 0命题逻辑素数 = 质数，合数有因子 和 或 假必真 同为真(pq)(qr)，(pq)r，p(qr)等都是合式公式，而pqr，（p(rq)等不是合式公式。若公式A是单个的命题变项，则称A为0层合式(pq)r，(pq)(rs)p)分别为3层和4层公式【例】求下列公式的真值表，并求和。 (pq)r公式(1)的成假赋值为011，其余7个赋值都是成真赋值第二章， 命题逻辑等值演算（1）双重否定律 AA（2）等幂律 AAA ； AAA（3）交换律 ABBA ； ABBA（4）结合律 （AB）CA（BC） ； （AB）CA（BC）（5）分配律 （AB）C（AC）（BC） ； （AB）C（AC）（BC）（6）德摩根