Указать все возможные значения аргументов 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