离散数学重点笔记探究.docVIP

0命题逻辑 素数 = 质数，合数有因子 和 或 假必真 同为真 (p→q)∧(q←→r)，(p∧q)∧┐r，p∧(q∧┐r)等都是合式公式，而pq→r，（p→(r→q)等不是合式公式。 若公式A是单个的命题变项，则称A为0层合式 (┐p∧q)→r，(┐(p→┐q))∧((r∨s)┐p)分别为3层和4层公式 【例】求下列公式的真值表，并求成真赋值和成假赋值。 (┐p∧q)→┐r 公式(1)的成假赋值为011，其余7个赋值都是成真赋值 命题逻辑等值演算 （1）双重否定律 AA （2）等幂律 A∧AA ； A∨AA （3）交换律 A∧BB∧A ； A∨BB∨A （4）结合律 （A∧B）∧CA∧（B∧C） ； （A∨B）∨CA∨（B∨C） （5）分配律 （A∧B）∨C（A∨C）∧（B∨C） ； （A∨B）∧C（A∧C）∨（B∧C） （6）德·摩根律 （A∨B）A∧B ； （A∧B）A∨B （7）吸收律 A∨（A∧B）A；A∧（A∨B）A （8）零一律 A∨11 ； A∧00 （9）同一律 A∨0A ； A∧1A （10）排中律 A∨A1 （11）矛盾律