Вопрос по решению систем булевых функций

[incvezitor]

Всем добрый день.
Посоветуйте какую нибуть книгу по решению систем булевых уравнений, т.е. есть несколько функций записаных в виде СКНФ или СДНФ и нужно найти знначения x1, x2, x3......

[luitzen]

То есть имеется несколько уравнений, в левой части которых СКНФ или СДНФ, а в правой — 0 или 1 ?

Какие-нибудь таблицы Бета (они же аналитические таблицы) подошли бы, наверное…

[vlad239]

А почему бы не записать их все одним уравнением (через AND), не привести потом к ДНФ и не считать ответ?

Влад.