Решение одной системы уравнений в булевских переменных Методом Отображений

Форум » Логические уравнения » Решение одной системы уравнений в булевских переменных Методом Отображений » Ответить

Решение одной системы уравнений в булевских переменных Методом Отображений

dbaxps: Система Решим вначале усеченную систему , а затем удвоим число решений для каждой из строк , заканчивающихся х8=1 (x1+x2)*(x1*x2->y1)=1 (x2+x3)*(x2*x3->y2)=1 (x3+x4)*(x3*x4->y3)=1 (x4+x5)*(x4*x5->y4)=1 (x5+x6)*(x5*x6->y5)=1 (x6+x7)*(x6*x7->y6)=1 (x7+x8)*(x7+y7)=1

Ответов - 1

MEA: Система интересна тем, что позволяет отследить разнообразие метода отображений. ещё два решения в комментарии к записи