12.3 矛盾矩阵