def main():
parser = argparse.ArgumentParser()
parser.add_argument("-o", "--output", help="Nombre del archivo de salida")
parser.add_argument("-f", "--file", help="Nombre de archivo a procesar")
args = parser.parse_args()
if args.file is None:
print ("Debe de ingresar el nombre del archivo a procesar que tiene los terminos, -f FILE")
# termina el programa
sys.exit()
if args.output is None:
print ("Debe de ingresa el nombre del archivo de salida, -o OUTPUT")
# termina el programa
sys.exit()
nombre_archivo_minterminos = args.file
nombre_archivo_salida = args.output
minterminos = leer_minterminos(nombre_archivo_minterminos)
numeroBits = (max(minterminos)).bit_length() # Según el mintérmino más grande, coloca el mínimo num de bits necesarios
listaX = list()
for i in range(0, len(minterminos)): #Convierte [1,4,6,15] a -> [[1], [4], [6], [15]].
listaX.append(minterminos[i]) #Esto porque la funcion hallarPrimos los acepta así
resultado = list()
resultado.append(minterminos[i])
minterminos[i] = resultado
return numeroBits, minterminos, listaX
a = main()
implicantesPrimos = hallarPrimos(a[0], a[1], [], True)
print( Petricks(a[2], implicantesPrimos) )
Código