РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016610012

Дата регистрации: 11.01.2016

Номер и дата поступления заявки: 2015660575 05.11.2015

Дата публикации: 20.02.2016
	
Авторы:
Останин Сергей Александрович,
Кириенко Ирина Евгеньевна

Правообладатель:
Федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский Томский государственный университет»

Название программы для ЭВМ:
Программа минимизации частично определенных булевых функций, представленных BDD-графами

Реферат:
Программа предназначена для построения BDD-графа с минимальным количеством узлов, представляющего полностью определенную булеву функцию, которая является реализацией частично определенной булевой функции, представленной двумя BDD-графами. На вход программе подается описание частично определенной булевой функции в виде двух файлов в формате PLA (Programmable Logic Array), первый - содержит описание области единиц булевой функции, второй - содержит описание области нулей булевой функции. На выходе программы получаем описание минимального BDD-графа, представляющего реализацию частично определенной булевой функции.

Тип реализующей ЭВМ: IBM PC - совмест. ПК

Язык программирования: С#

Вид и версия операционной системы: Windows ХР

Объем программы для ЭВМ: 51 Кб