Программы booleanminimize.sf.net

Эта программа сводит к минимуму выражений boolean. После объединения нотермов, насколько это возможно, программа рисует диаграмму основных подразумеваемых, которые пользователь может легко читать и манипулировать, чтобы удали