ANALYTICAL TRANSFORMATIONS IN MINIMIZING LOGICAL FUNCTIONS

Mualliflar

  • Kabulov A.V.

    National University of Uzbekistan named after Mirzo Ulugbek

  • Normatov I.Kh.

    Scientific and innovation center of information and communication technologies

  • Urunbaev E.

    Samarkand state university

  • Ashurov A.O.

    Tashkent University of Information Technologies named after Muhammad al-Khorazmiy

Калит сўзлар: алгоритм, доимий, мантиқий алгебра, бирлашма, дизъюнкция, Шеффер функцияси, Буль функцияси, математик мантиқ, импликация

Аннотация

Мақола дизъюнктив нормал шакллар синфидаги мантиқий функцияларни минималлаштиришнинг аналитик ўзгаришларига бағишланган. Мантиқий ифодаларни умумий шаклга айлантириш учун баъзи аналитик формулалар олинади. Турли аналитик ибораларни шакллантириш ва ўзгартириш муаммолари ҳал қилинди, мантиқий алгебра функцияларининг турли асосларида формулаларни ифодалаш ва ўзгартириш тўғрисидаги теоремалар исботланди.

Фойдаланилган адабиётлар

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.