1) \(\overline{x \to y}=(0010)\)

Проверим в порядке наборов \((x,y)=(0,0),(0,1),(1,0),(1,1)\). Импликация \(x\to y\) ложна только при \(x=1, y=0\), поэтому её отрицание имеет значения \(0,0,1,0\).

Ответ: \(\overline{x\to y}=(0010)\).