Представление булевых функций

[ExtEEd]

Посоветуйте книги или статьи по представлению булевых функций с помощью функции "след" и свойствах этого представления. Желательно(но не обязательно), чтобы литература была доступна для скачивания в интернете. Заранее спасибо)