原帖由夏侯子鱼于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的项目来进行解答假设。