Аннотация:
Излагается подход к решению систем булевых уравнений, основанный на использовании биюнктивных имплицент. Предложен базовый алгоритм нахождения таких имплицент и рассмотрен вопрос об одновыполнимости построенной системы.
Ключевые слова:
булева функция, система булевых уравнений, биюнктивные функции.