On applications of associativity of dual compositions in the algebra of Boolean matrices (Q378013)

Let \((B,\cup ,\cap,{}^{\prime },0,1)\) be a Boolean algebra. The two binary operations in \((B,\cup ,\cap ,{}^{\prime },0,1)\), conjunction and disjunction, are \(\cap \) and \(\cup \), respectively, and the third (unary) operation is denoted by \(^{\prime }\). Let \(B_{m\times n}\) be the Boolean algebra of \(m\times n\) matrices with entries belonging to a Boolean algebra \((B,\cup ,\cap ,{}^{\prime },0,1)\), and let \(A_{j}^{i}\) be the \((i,j)\)-entry of the matrix \(A=(A_{j}^{i})\in B_{m\times n} \). The operations \(\cup ,\) \(\cap ,\) and \(^{\prime }\) in \(B_{m\times n}\) are defined element-wise. We call the matrix \(C=A\sqcap B\in B_{m\times k}\) with entries \[ C_{j}^{i}=\bigcup_{t=1}^{n}(A_{t}^{i}\cap B_{j}^{t}) \] conjunctive composition of matrices of corresponding sizes \(A=(A_{j}^{i})\in B_{m\times n}\) and \(B=(B_{j}^{i})\in B_{n\times k}\). The disjunctive composition \(A\sqcup B\) is defined in a dual way: \((A\sqcap B)^{\prime }=A^{\prime }\sqcup B^{\prime }\) or \((A\sqcup B)^{\prime }=A^{\prime }\sqcap B^{\prime }\). The paper has four sections. In the first section, the author introduces notations. The features of consistency of the matrix equations \(A\sqcap X=B\), \(X\sqcap A=B\), \(A\sqcup X=B\), and \(X\sqcup A=B\) are investigated in the second section. For example, it is shown that the equation \(A\sqcap X=B\) is consistent if and only if the value of the formula \(A\sqcap (A^{\prime})^{T}\sqcup B\) does not depend on the arrangement of brackets. The consistency of the equation \(A\sqcap X\sqcap B=C\) is studied in the third section. Finally, the properties of the compositions \(A\sqcap (A^{\prime})^{T}\), \((A^{\prime })^{T}\sqcap A\), \(A^{T}\sqcap A^{\prime }\), \(A^{\prime }\sqcap A^{T}\), \(A\sqcup (A^{\prime })^{T}\), \((A^{\prime })^{T}\sqcup A\), \(A^{T}\sqcup A^{\prime }\), and \(A^{\prime }\sqcup A^{T}\) are discussed in the fourth section.