Опубликовано 11.06.2017 по предмету Информатика от Гость >> <<

Указать все возможные значения аргументов x1, x2, x3, x4, при которых логическая функция f(x_1,x_2,x_3,x_4)=(x_2∨x_4)*x ̅_3*x ̅_1*x ̅_4∨x ̅_2*x_3∨x_1*x_4 принимает значение 1 (истина).
Замечание: Знак «*» означает логическое «и»; x ̅ означает логическое отрицание; знак «⋁» означает логическое «или».

Ответ оставил Гость

Выполним упрощение:

Мы получили три конъюнкции, соединенные дизъюнкциями. Функция будет истинной при условии истинности хотя бы одной из дизъюнкций. Выписываем соответствующие комбинации (звездочки означаю, что допускается любое значение бита).
х1 х2 х3 х4
0   1   0   0
*    0   1   *
1    *    *  1
Заменяем строки со звездочками на набор строк со всем допустимыми комбинациями битов на месте звездочек.
х1 х2 х3 х4
0   1   0   0
0   0   1   0
0   0   1   1
1   0   1   0
1   0   1   1
1   0   0   1
1   0   1   1 - дубликат
1   1   0   1
1   1   1   1
И удаляем строки-дубликаты:
х1 х2 х3 х4
0   1   0   0
0   0   1   0
0   0   1   1
1   0   1   0
1   0   1   1
1   0   0   1
1   1   0   1
1   1   1   1