Для функции записать карту Карно. СДНФ

Составляем карту Карно для заданной функции.
x1\x2x3 00 01 11 10
0 -6921557151 1
1 1 1
Имеем
fx1,x2,x3=x2.
Составляем СДНФ функции по единичным наборам:
fx1,x2,x3=x1x2x3⋁x1x2x3⋁x1x2x3⋁x1x2x3.
Составляем СКНФ функции по нулевым наборам:
fx1,x2,x3=x1⋁x2⋁x3x1⋁x2⋁x3x1⋁x2⋁x3x1⋁x2⋁x3.
Двойственной функцией для функции отрицания является тождественная функция
fx1,x2,x3=x2.
В самом деле, если значения истинности функции отрицания перевернуть на 180 градусов и инвертировать эти значения, получим исходную функцию отрицания.