23.范式及蕴含公式.pptVIP

计算机数学 排课 某班下学期有A、B、C、D、E五门课，每天教学时间分为四段，每段两节课，一门课一天只能上两节课，每天上课时间不能少于两段，也不多于3段。其中： 1）A、B是主干课，不能同一天上； 2）C是B的实验课，如果有课程B，当天便有课程C； 3）D、E是同一任课教师，该教师要求这两门不排在同一天； 已知课程A每周6节，B、C每周各4节，D每周4节，E每周4节。试给出排课方案。 分析：根据3点要求写出逻辑表达式，并将其转换成主析取范式，然后再根据规定，如每天教学时间分为四段，每天上课时间不能少于两段也不多于3段的规定，删去不符合规定的最小项（即最小项中不带否定符“?”的项不能多于3，也不能少于2）。最后再根据每门课的周节数设计排课方案。 解： （B→C）?（?B→?C）??（D?E）??（A?B） ?? ? ? ? ? ?(?A?B?C??D?E)?(?A?B?C??D??E) ? (?A?B?C?D??E) ?(?A?B?C??D??E) ? (A??B??C??D?E) ? (A??B??C?D??E) ?? ? ? ? ? ? 其中满足要求的最小项有： ?A?B?C??D?E ?A?B?C??D??E ?A?B?C?D??E A??B??C??D?E A??B??C?D??E 根据各门课程每周的教学时数和尽量不要两天连续上同一门课程的要求，排课方案设计如下： 星期一 AE 星期二 BC 星期三 AD 星期四 BCD 星期五 AE 趣味推理题 A、B、C三人去餐馆吃饭，他们每人要的不是火腿就是猪排。 （1）如果A要的是火腿，那么B要的就是猪排。 （2）A或C要的是火腿，但是不会两人都要火腿。 （3）B和C不会两人都要猪排。 谁昨天要的是火腿，今天要的是猪排？ 方法二：通过分析的方法来证明一个条件命题是蕴含式。 由于原命题等于其逆反命题，即A→B?┐B→┐A ，所以用分析法证明A?B ， 有如下两种方法: (1) 假设前件A为真时, 推出后件B也为真, 则A?B ; (2) 假设后件B为假时, 推出前件A也为假, 则A?B 。 * 计算机数学 内 容 回 顾 所以只有B才能昨天要火腿，今天要猪排。 永假式 由吸收率得 ?A?C 　如果命题A?B 为重言式，则A?B 。而条件命题 A→B 是不对称的，如果A→B为真，B不一定能推出A 。那么A和B究竟存在什么关系呢？ 设A，B是命题公式, 若A→B是重言式, 则称A→B 是蕴含重言式，记为A?B ，读作“A永真蕴含B”。 简称A蕴含B P Q P→Q P∧(P→Q) (P∧(P→Q) )→Q 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 练习：用等值演算法证明下列各式: ① P→(Q→R)?(P→Q)→(P→R) ② P→Q?P→(P∧Q) 证法2： 练习：用分析法证明下列蕴含式成立: (P?Q)∧(Q?R)?P?R 证明：假设后件 为0，则P为1，R 为 0。 (a)若Q为1，则 为0，所以 为0； (b)若Q为0，则 为0，所以 为0。 故此： 成立。