Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/4663
Title: Decomposibality and search for all solutions of a system of boolean functions
Other Titles: Разложимость и поиск всех решений системы булевых функций
Authors: Taghavi, S. A.
Pottosin, Y. V.
Keywords: Boolean functions
decomposition
cover map
compact table
булева функция
декомпозиция
карта покрытия
компактная таблица
Issue Date: 2013
Publisher: БГУИР
Citation: Taghavi, S. A. Decomposibality and search for all solutions of a system of boolean functions / S. A. Taghavi, Y. V. Pottosin // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013) : материалы III Междунар. научн.-техн. конф. (Минск, 21-23 февраля 2013г.) / редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2013. – С. 579 – 584.
Abstract: The problem of series two-block decomposition of completely specified Boolean functions is considered. Analysis and investigation of such systems are very important in logical design context. Recently, a method for solving this problem was suggested based on using the ternary matrix cover approach. Using this method a computer program developed. This paper is focused on decomposability of a system of Boolean functions. In decomposable systems, the number of solutions and time elapsed to achieve them was investigated. Рассматривается задача последовательной двухблочной декомпозиции полностью определенных булевых функций. Анализ и исследование таких систем является весьма важным для логического проектирования. Ранее был предложен метод решения этой задачи, основанный на использовании покрытия троичной матрицы. Разработана компьютерная программа, использующая этот метод. Основное внимание данной работы сосредоточено на разложимости систем булевых функций. Для разложимых систем исследовалось число решений и время, затрачиваемое на их получение.
URI: http://libeldoc.bsuir.by/handle/123456789/4663
https://libeldoc.bsuir.by/handle/123456789/4663
Appears in Collections:OSTIS-2013

Files in This Item:
File Description SizeFormat 
Taghavi_Decomposibality.PDF675,82 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.