Developing.ru

Нужна прога или хотябы идея...


Задание такое: "Написать программу преобразующую заданную логическую функцию в OBDD согласно заданному порядку аргументов"


Ет из курса Мат логики и теории автоматов....