Se considera el método del árbol disyuntivo. Se usa notación matricial. Se define un operador "desdoblamiento" (plegamiento), dividiendo una matriz de designación en partes y reagrupándolas en una forma matricial rectangular. Este procedimiento permite examinar las soluciones del árbol disyuntivo. Se considera la búsqueda de la solución más simple. El método se generaliza facilmente a funciones "booleanas" incompletamente especificadas.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados