线性逻辑方程组相关论文
软件设计和硬件设计中的许多问题可归结为某个常数项都是1的线性逻辑方程组模型。给出了该类方程组极小解的定义。用布尔矩阵的初......
首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把F(x1,x2,…,xn)=1、F(x1,x2,…,xn)=0,F(x1,x2,…,xn)=G(x1,x2,…,xn)等类型的逻辑方程转化为......
给出了布尔矩阵的初等行变换定义,建立了线性逻辑方程组形式的属性约简模型,用布尔矩阵的初等行变换把系数矩阵化为最简矩阵,给出......