Towards logical operations research—propositional case Original Research Article

Tautology is interpreted as a necessary condition for the workability of an operations system. This condition suggests the following possibilities: the stable solvability of balance equations between available resources and requests for them; the calculation of potential and kinetic of the system together with the estimation of the contribution of every operation to the kinetic of the system; the construction of a deadlockless infinite cyclic process for performance of some works.