По заданной таблице истинности получите сднф логической функции, упростите ее

рассматриваем только те строки таблицы истинности, где F =1x y  z  F0 0 0  1     ¬x*¬y*¬z0 0 1  1     ¬x*¬y*z0 1 0  1    ¬x*y*¬z1 0 1  1     x*¬y*z1 1 0  1    x*y*¬z-------------------------------------------    ¬x*¬y*¬z + ¬x*¬y*z + ¬x*y*¬z + x*¬y*z+x*y*¬z==¬x*¬y*(¬z+z) +y¬z*(¬x+x) +x*¬y*z==¬x*¬y+y*¬z+x*¬y*z==¬y*(¬x+x*z)+y*¬z==¬y*(¬x+z) +y*¬z==¬y*¬x+¬y*z+y*¬z==¬y*¬x+y⊕z                F =¬x*¬y+y*¬z+¬y*z  или F=¬x*¬y+y⊕z-----------------------------------------проверкаx y z  ¬x*¬y  y*¬z   ¬y*z    F0 0 0     1       0         0       10 0 1      1      0         1        10 1 0      0      1         0        10  1 1     0       0        0        01 0 0      0       0         0       01 0 1      0       0        1        11 1 0      0       1         0       11 1 1      0      0        0          0      (полное совпадение значений F cо значениями F в исходной таблице)