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 根据各门课程每周的教学时数和尽量不要两天连续上同一