Система преобразований некоторых форм представления булевых функций

Рассматриваются три формы представления булевых функций: бесповторная булева формула, линейный бинарный граф, ортогональная дизъюнктивная нормальная форма. Показывается их взаимно-однозначное соответствие и рассматривается полная система эквивалентных преобразований. Отмечается место этих преобразований программирования логических устройств.