一个离散数学的逻辑判断问题在某研讨会上,三名与会者根据王教授的口音判断他是哪里人,甲说王教授不是苏州人是上海人,乙说王教授不是上海人是苏州人,丙说王教授既不是上海人也不是杭州人,听完以上3人的判断后.王教授说他们3个人中有一个说的全对,有一个人说对了一半,另一个人说的全不对,使用逻辑演算法分析王教授是哪里人（请提供详细过程,）
问题描述：
一个离散数学的逻辑判断问题
在某研讨会上,三名与会者根据王教授的口音判断他是哪里人,甲说王教授不是苏州人是上海人,乙说王教授不是上海人是苏州人,丙说王教授既不是上海人也不是杭州人,听完以上3人的判断后.王教授说他们3个人中有一个说的全对,有一个人说对了一半,另一个人说的全不对,使用逻辑演算法分析王教授是哪里人（请提供详细过程,）
答
设命题 p：王教授是苏州人.q：王教授是上海人.r：王教授是杭州人.显然p,q,r中有且只有一个真命题.甲的判断为A1=┐p∧q乙的判断为A2=p∧┐q 丙的判断为A3=┐q∧┐r 那么,甲的判断全对 B1=A1=┐p∧q甲的判断对一半 B2=...