f(x,y) = ¬(¬x∨(x∧y))∧x
f(x,y) = x∧¬(x∧y)∧x
f(x,y) = x∧x∧(¬x∨¬y)
f(x,y) = x∧¬x∨x∧¬y)
f(x,y) = x∧¬y
Из таблице истинности видно, что F(x,y) принимает единичное значение при х=1 и у=0, так что преобразование сделано верно.
f(x,y) = ¬(¬x∨(x∧y))∧x
f(x,y) = x∧¬(x∧y)∧x
f(x,y) = x∧x∧(¬x∨¬y)
f(x,y) = x∧¬x∨x∧¬y)
f(x,y) = x∧¬y
Из таблице истинности видно, что F(x,y) принимает единичное значение при х=1 и у=0, так что преобразование сделано верно.