Preview

Dependability

Advanced search

APPLICATION OF GENERAL SOLUTION FOR A SYSTEM OF LOGICAL EQUATIONS IN DEPENDABILITY TASKS

https://doi.org/10.21683/1729-2646-2015-0-2-23-38

Abstract

The article proposes a new method of solving logical equations with one or more unknown variables and systems of logical equations that use a modified truth table. This method allows finding all general solutions. Solvability conditions of equation systems have been found. The theory has been illustrated by examples. Technical applications have been shown.

About the Authors

G. N. Cherkesov
Saint Petersburg State Polytechnic University
Russian Federation
Doctor of technical sciences, professor of chair of information and control systems, faculty of technical cybernetics


Yu. V. Stepanov
Institute of Analytical Engineering of Russian Academy of Sciences, Saint Petersburg
Russian Federation
Leading engineer


References

1. Riabinin I.А. Introduction of the theory and dependability calculation of naval power systems. Leningrad: Sudostroenie, 1971.

2. Lunts А.G. Algebraic methods of analysis and synthesis of contact schemes // AN SSSR. Ser. matem., 1952. Vol. 16, No. 5.

3. Gogin Yu.А. Logical and probabilistic modeling of large and complex systems / A.F. Mozhaisky military academy. Leningrad, 1972.

4. Cherkesov G.N., Mozhaiev А.S. Logical and probabilistic methods of dependability calculation of structurally complex systems. Moscow. Znanie, 1991.

5. Riabinin I.A., Cerkesov G.N. Logical and probabilistic methods of dependability study of structurally complex systems. Moscow. Radio i sviaz, 1981.

6. Pospelov D.А. Logical methods of analysis and synthesis of schemes. Moscow. Energia, 1964.

7. Levchenkov V.S. Standard solutions а Boolean equations. – Avtomatika i telemekhanika, 2, 2000. – P.139-150.


Review

For citations:


Cherkesov G.N., Stepanov Yu.V. APPLICATION OF GENERAL SOLUTION FOR A SYSTEM OF LOGICAL EQUATIONS IN DEPENDABILITY TASKS. Dependability. 2015;(2):23-38. https://doi.org/10.21683/1729-2646-2015-0-2-23-38

Views: 833


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 1729-2646 (Print)
ISSN 2500-3909 (Online)