Модуль: Systems of logical equations


Задача

32/36

System of logical equations - 32

Задача

How many different solutions does a system of logical equations have?
(x1→¬x2)*(x3→¬x4)=1
(x5+x6)*(x11+x7)=1
(x7+x8)*(x9→¬x10)=1
(x7→¬x8)*(x5→¬x6)=1
(x3+x4)*(x9+x10)=1

Выберите правильный ответ, либо введите его в поле ввода

Комментарий учителя