Tengo una ecuación booleana que se describe a continuación, $$\neg \mathbf{x} = \mathbf{M}\cdot \neg(\mathbf{M} \cdot \mathbf{x})$$ en el que $\mathbf{M}$ es un $n\times n$ matriz booleana, y $\mathbf{x}$ es un $n\times 1$ Vector de columnas booleano. El producto de dos matrices booleanas $A_{m\times k}$ y $B_{k\times n}$ es $C_{m\times n}$ definido por $$c_{ij}=\bigvee_{h=1}^{k}(a_{ih}\wedge b_{hj})$$
Ahora, teniendo en cuenta $\mathbf{M}$ La tarea consiste en encontrar todas las soluciones de las ecuaciones.
¿Quiere darme alguna idea?