布尔矩阵与关系性质的判断
포이구진여관계성질적판단