informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-814Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNО ТАБЛИЧНОМ ЗАДАНИИ СИСТЕМ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙПоттосинЮ. В.ШестаковЕ. А.Объединенный институт проблем информатики НАН Беларуси,Belarus20040102201901(01)139147Copyright © Поттосин Ю.В., Шестаков Е.А., 20192019Поттосин Ю.В., Шестаков Е.А.Поттосин Ю.В., Шестаков Е.А.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/814

На основе понятия покрытия секционированной троичной матрицы предлагается способ представления систем полностью определенным булевым функций в виде таблиц, названным компактными. Эти таблицы составляют основу аппарата, применяемого для декомпозиции булевым функций. Они аналогичны картам Карно, но имеют меньшие размеры, чем последние. Рассматриваются способы вычисления покрытий секционированной троичной матрицы.

References

The authors declare that there are no conflicts of interest present.