离散数学42389.pptVIP

复习 杨圣洪 一、命题 可以确定其值的陈述语句。非陈述、悖论不可 二、联结词：能给出真值表 否定?、合取?、析取?、条件?、双条件? ? ?的等价式、异或、不可兼或、可兼或 三、合式公式的定义 (1)命题变元、常量是合法 (2)若A是合式公式，则? A合式 (3)若A、B合则A?B、A?B、A?B、A?B合式 (4)有限次使用(2)~(3)得到的式子都是合法的。 学会判断一个公式是否合法。 四、真值表 先确定公式中命题变元即自由变元清单 可以分步给出每部分的公式的真值 也可以直接将各部分的值写在运算符的下方 证明两个公式等值、求主析取范式、主合取范式、设计电路、重言式或永真式、矛盾式或永假式、可满足式 五、习题一 命题符号化第6题、14题、16、17、18、19、20、21、22、23、 六、等值式 1、定义：对于命题变元的每组值真值完全相同 2、p?q(1个)、 p?q(3个) 3、分配律(正用/逆用)、德摩、原=逆否 4、双否、幂等、交换、结合、A?0 、A?1、 A?0、A?1、A??A、 A??A 5、局部等值变换后，整体仍等值。 例题某次研讨会及习题，写出表达式再等值变换 七、主析取范式与主合取范式 1、先给出真值表 2、公式=主析取=小项的析取=大项的合取 3、小项对应真值表中取值为1之行 mo1=