原帖由夏侯子鱼于2005-02-16, 3:10:57发表
假设：
马是周：A  印是周：E 扣是周：I  台是周：M
马是商：B  印是商：F     商：J      商：N
马是秦：C  印是秦：G     秦：K      秦：O
马是汉：D  印是汉：H     汉：L      汉：P

已经知道的假设：
非A--非E
  J--A
非B--D
  F--非C
非M--K
  G--A

条件：
  A--非E 非I 非M 非B 非C 非D
  非E 非I 非M--A
  非B 非C 非D--A
  ·
  ·
  ·

然后根据已知假设：J=1，则：非I 非K 非L 非B 非F 非N=1
                  A=1,
         非B=1 则 D=1
         A=1   则 非D=1，假设不成立。
               既：非J=1
这里告一段落
继续假设：F=1，则：非B 非J 非N 非E 非G 非H=1
               非C=1  
               非B=1 则 D=1
               D=1   则 非A 非B 非C 非H 非L 非P=1
               非A=1 则 非E=1
于是我们得到满足所有条件的矩阵：
0,0,X,X
0,1,0,0         
0,0,X,0
1,0,0,0          假设成立。
于是，我们需要判断的是I，M，K的值，
继续假设   非M=1
             K=1 则非I 非J 非L 非C 非G 非O=1
由前面的，得到：A=0 E=0 I=0 则M=1，与假设相反，则假设不成立，既M=1
于是我们得到：
0，0，0，1
0，1，0，0
0，0，1，0
1，0，0，0这个满足所有条件的矩阵，于是：我们的得到：D=1 F=1 K=1 M=1

答：玉马是汉朝的，鸡血印是商朝的，金扣是秦朝的，烛台是周朝的。

PS：关于假设的选取问题，由于已知假设是单向的，而非A=1不一定A=1 所以必须根据已知假设中能确定=1的项目来进行解答假设。

原帖由lcarron78于2005-02-16, 5:01:35发表


请问这个答案为什么不对呢
马-商
鸡-汉
金-秦
烛-周

原帖由夏侯子鱼于2005-02-17, 0:29:19发表
lcarron78的问题很精辟啊~~~各位看贴者倒是可以想想~~~解这类题目~~~离散数学永远是王道~      

原帖由夏侯子鱼于2005-02-17, 14:13:29发表
有点得意了~~~没学离散数学之前,这又不是不能做,大家都是用的逻辑推理嘛~但是逻辑推理来的能想清楚B为什么为0么~~~好象很难哦~

原帖由夏侯子鱼于2005-02-17, 0:28:22发表
 可以肯定：R（Y（D=1）包含X(非B得到D)）=1，它的真值范围是：
Y=1 X=1   R=1
Y=1 X=0   R=1
Y=0 X=1   R=0
Y=0 X=0   R=1
其中：X=1可以肯定（这个关系是条件假设）
      而X值不确定
      又根据真值表，满足条件，只能Y=1。  即：D=1。