the paper builds the relationship of attribute set, boolean matrix and logic equation set.
建立了属性集与布尔矩阵以及逻辑方程组的解之间的关系;
in order to get extending boolean matrix of product modular interface relationship, it introduces the reverse reasoning strategy of modular interface relationship by the technology of object oriented.
finally, the equivalence properties between boolean matrix representation and algebra representation of attribute reduction are proved.
最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。
by means of boolean matrix operation method, a study is made of defining the prime implicant of multi output function and the operation routine of the method is illustrated with some examples.
运用布尔矩阵运算的方法对确定多输出函数的质蕴涵进行了研究,并通过示例说明了这种方法的运算程序。
the relationship between the attribute set of decision table, boolean matrix and resolve of logic equation set is set up.
建立了布尔矩阵与逻辑方程组的解和决策表中的属性集之间的关系;
based on boolean matrix this model describes all kinds of locking relationship in the system and it has the advantages of fast computing speed, strict locking and wide compatibility.