El enfoque de programación de operaciones en el corto plazo, se ha convertido en un aspecto crítico en el entorno actual por mantener los inventarios bajos y los tiempos de entrega cortos, y por lo tanto el obtener una secuencia de trabajos amerita que sea planteada una manera para poder visualizarla en el tiempo, fundamentado en que lo sistemas tradicionales de MRP y MRPII no hacen hincapié en la programación real de la capacidad finita. La secuenciación de trabajos es un problema de enumeración de carácter combinatorio y al ser representado en diversos escenarios de producción con centros de trabajos en su distribución; la elección de una secuencia entre todas las opciones se vuelve cada vez más compleja de obtener en la medida que aumente en número de trabajos y el numero de maquinas y se remite a trabajar con métodos de optimización y algoritmos heurísticos para hallar una posible solución. Al plantear una propuesta metodologíca para determinar heurísticas basado en sistemas lógicos proposicionales en diferentes niveles; donde se tengan en cuenta el razonamiento lógico y las métricas de desempeño para poderlo evaluar como problema de secuenciación de trabajo en programación de operaciones, teniendo en cuenta que los problemas de secuenciación son considerados de gran complejidad algorítmica tipo NP-completo, pueda ser expresado como un problema de satisfactibilidad booleana SAT. Es decir un problema de optimización pueda ser expresado en un problema de decisión y poderlo tratar. Para obtener expresiones o formulas atómicas (fbf formulas bien formadas), a través de conceptos de la matemática discreta y combinatoria (conjunto, relaciones y funciones) y principalmente del estudio de la lógica proposicional (denominada lógica de primer orden LPO), para efectuar operaciones con las variables lógicas, cumpliendo con las propiedades del algebra boolena. Una vez obtenidas estas formulas, se representan los diferentes flujos de procesos alineado al flujo de información con razonamientos en los sistemas y subsistemas lógicos de índole combinacional y secuencial. Con estos elementos se modela el funcionamiento de una máquina de estados finitos, que es considerada un autómata más poderoso para modelar las funciones lógicas obtenidas. Se cuenta son los elementos necesarios para la puesta en marcha de la máquina de estados finitos: la cinta (secuencia de registros binarios {0,1} del sistema lógico), el cabezal (función de transición de estados en diagramas de decisión binario BDD) y el programa (algoritmos efectuados con conceptos del algebra booleana y funciones de conmutación: seleccionadores, codificadores, sumadores, comparadores de magnitud, etc.) que interpreta una función de transición a través del tiempo para obtener una salida de tipo binario, que represente la secuencia de operaciones a programar en una planta de producción asociado a centros de trabajo y relacionado con los recursos inherentes para la transformación de productos The approach to scheduling operations in the short term has become a critical aspect in the current environment by keeping inventories down and delivery times short, and therefore obtaining a sequence of jobs warrants a way To be able to visualize it in the time, based on which the traditional systems of MRP and MRPII do not emphasize the real programming of the finite capacity. The sequencing of works is an enumeration problem of combinatorial character and being represented in different production scenarios with work centers in their distribution; The choice of a sequence between all the options becomes increasingly complex to obtain as the number of jobs increases and the number of machines and refers to working with optimization methods and heuristic algorithms to find a possible solution. When proposing a methodological proposal to determine heuristics based on propositional logic systems at different levels; Where logical reasoning and performance metrics are considered in order to be able to evaluate it as a work sequencing problem in operations programming, taking into account that sequencing problems are considered of great NP-complete algorithmic complexity, can be expressed as A Boolean SAT satisfiability problem. In other words, an optimization problem can be expressed in a decision problem and can be dealt with. To obtain expressions or atomic formulas (fbf well-formed formulas), through concepts of discrete and combinatorial mathematics (set, relations and functions) and mainly the study of propositional logic (called first order logic LPO), to perform operations With the logical variables, fulfilling the properties of the boolean algebra. Once these formulas are obtained, the different process flows are aligned to the flow of information with reasoning in the logical and sequential systems and logical subsystems. With these elements the operation of a finite state machine is modeled, which is considered a more powerful automaton to model the obtained logical functions. The following elements are necessary to start up the finite state machine: the tape (sequence of binary registers {0,1} of the logic system), the head (state transition function in BDD binary decision diagrams) And the program (algorithms performed with concepts of Boolean algebra and switching functions: selectors, encoders, summers, magnitude comparators, etc.) that interprets a transition function over time to obtain a binary type output, representing the Sequence of operations to be programmed in a production plant associated with work centers and related to the inherent resources for the transformation of products Oracle, National Instruments