En álgebra de Boole , el método de Petrick [1] (también conocido como función de Petrick [2] o método de ramificación y enlace ) es una técnica descrita por Stanley R. Petrick (1931-2006) [3] [4] en 1956 [5 ] [6] para determinar todas las soluciones de suma mínima de productos a partir de un gráfico de implicantes primos . [7] El método de Petrick es muy tedioso para gráficos grandes, pero es fácil de implementar en una computadora. [7] El método fue mejorado por Insley B. Pyne y Edward Joseph McCluskey en 1962. [8] [9]
Con base en las marcas ✓ en la tabla anterior, construya un producto de las sumas de las filas donde se agrega cada fila y las columnas se multiplican juntas:
Usa la ley distributiva para convertir esa expresión en una suma de productos. También use las siguientes equivalencias para simplificar la expresión final: X + XY = X y XX = X y X + X = X
Elija término o términos con la menor cantidad de literales totales. En nuestro ejemplo, los dos productos se expanden a seis literales en total cada uno:
Entonces se puede usar cualquiera de los dos. En general, la aplicación del método de Petrick es tediosa para gráficos grandes, pero es fácil de implementar en una computadora. [7]