离散数学实验指导书_工程认证(实验1：逻辑学家会议问题).pdfVIP

实验一逻辑学家会议问题  实验所属系列：离散数学课程实验  实验对象：本科  相关课程及专业：离散数学，计算机科学与技术  实验类型：基础型实验  实验时数（学分）： 2学时 实验目的 熟悉利用计算机解决基本命题逻辑问题的方法，深化对于命题和命题公式以 及真值表的理解。 实验内容与要求 有人邀请A,B,C,D,E,F6个逻辑学家参加一项会议，这6个人有些奇怪，因为 他们有很多要求，已知： 1.A,B两人至少有1人参加会议。 2.A,E,F3人中有2人参加会议。