Analytical transformations in minimizing logical functions
Авторы
Ключевые слова: алгоритм, константа, логическая алгебра, конъюнкция, дизъюнкция, функция Шеффера, булевая функ- ция, математическая логика, импликация
Аннотация
Статья посвящена аналитическим преобразованиям при минимизации логических функций в классе дизъюнктивных нор- мальных форм. Получены некоторые аналитические формулы для преобразования логических выражений в общий вид. Авто- ром статьи были решены проблемы формирования и преобразования различных аналитических выражений, доказаны теоремы представления и преобразования формул в различных базисах функций логической алгебры.
Библиографические ссылки
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.