Дискретная математика. Булева алгебра, комбинационные схемы, преобразования двоичных последовательностей. Ерош И.Л.