ANALYTICAL TRANSFORMATIONS IN MINIMIZING LOGICAL FUNCTIONS

Authors

  • A.V. Kabulov

    National University of Uzbekistan named after Mirzo Ulugbek

  • I.Kh. Normatov

    Scientific and innovation center of information and communication technologies

  • E. Urunbaev

    Samarkand state university

  • A.O. Ashurov

    Tashkent University of Information Technologies named after Muhammad al-Khorazmiy

Keywords: algorithm, constant, logic algebra, conjunction, disjunction, Schaeffer function, Boolean function, mathematical logic, implication

Abstract

The article is devoted to analytic transformations in minimizing logical functions in the class of disjunctive normal forms. Some analytical formulas for transforming logical expressions in a general form are derived. The problems of formation and transformation of various analytical expressions are solved, and the theorems of formulas representation and transformation in various bases of functions of logic algebra are proved.

References

1. Kabulov V.K. Algorithmization in the mechanics of continuous media. –Tashkent: «Fan», Uzbek SSR, 1979.

2. Kabulov V.K. Raqamli avtomatlar algoritmlar. –Toshkent: «O’qituvchi», 1980.

3. Yablonsky S.V. Introduction to discrete mathematics. -M.: «Nauka», 1979.