Электронный каталог: Федоровский , Сергей Васильевич - Булевы функции. Нормальные формы алгебры логики