Resumen de Sobre la síntesis de redes de contactos por el método de arbol disyuntivo
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.
