О представлении булевых функций бесповторными формулами в одном базисе
Автор: Бадмаев Сергей Александрович, Шаранхаев Иван Константинович
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Алгебра и геометрия
Статья в выпуске: 2, 2012 года.
Бесплатный доступ
Изучается реализация булевых функций в классе формул. Доказано необходимое и достаточное условие выразимости булевых функций бесповторными формулами в специальном базисе.
Булева функция, бесповторная функция, базис, формула
Короткий адрес: https://sciup.org/14835075
IDR: 14835075 | УДК: 519.71
On representation of boolean functions by repetition-free formulas in the same basis
The realization of Boolean functions in the class of formulas is studied. The necessary and sufficient condition of Boolean functions representation has been proved by repetition-free formulas in special basis.
Список литературы О представлении булевых функций бесповторными формулами в одном базисе
- Перязев Н.А. Основы теории булевых функций. М.: Физматлит, 1999. 112 с.
- Стеценко В.А. О предплохих базисах в Р2//Математические вопросы кибернетики. М.: Наука, 1992. Вып.4. С. 139-177.
- Перязев Н.А., Шаранхаев И.К. Критерии бесповторности булевых функций в предэлементарных базисах ранга 3//Дискретная математика. 2005. Т. 17, Вып. 2. С. 127-138.
- Субботовская Б.А. О сравнении базисов при реализации функций алгебры логики формулами//Докл. АН СССР. 1963. Т. 149, № 4. С. 784-787.
- Гурвич В.А. Критерии бесповторности функций алгебры логики//Докл. АН СССР. 1991. Т. 318, № 3. С. 532-537.
- Перязев Н.А. Реализация булевых функций бесповторными формулами в некоторых базисах//Сб. Алгебра, логика и приложения. Иркутск, 1994. С. 143-154.
- Перязев Н.А. Реализация булевых функций бесповторными формулами//Дискретная математика. 1995. Т. 7, № 3. С. 61-68.
- Кириченко К.Д. О критериях бесповторности булевых функций в различных базисах//Оптимизация, управление, интеллект. Иркутск, 2000. Вып. 4. С. 93-101.
- Кириченко К.Д. Слабоповторные булевые функции в некоторых предэлементарных базисах//Иркутский университет. Сер.: Дискретная математика и информатика. Иркутск, 2000. Вып. 13. 60 с.
- Шаранхаев И.К. Слабоповторные булевые функции в некоторых базисах//Иркутский университет. Сер.: Дискретная математика и информатика. Иркутск, 2003. Вып. 17. 64 с.
