论文部分内容阅读
本文利用我在“逻辑关系方程的一种解法和有解条件”一文中所给出的逻辑关系方程的解法,讨论形式为A▽(x1 x2…xn)=(0…0—0…0)(i)… (1)这样一类逻辑关系方程的解与布尔系数矩阵A之间的某些关系,并利用所得的结论,给出一种新证法证明了一个n×n的布尔矩阵A可逆的充分必要条件为A是置换矩阵,且A-1=AT.更多还原