Электронный каталог: Гнатенко Валерий Юрьевич - Применение логико-вероятностного исчисления для решения булевых уравнений