СРОЧНО Помогите, пожалуйста! Упростить данную форму: таблица истинности некоторых...

Решение будем проводить, перейдя к несколько иной (но также популярной) форме записи логических операций.
$[((\overline x+y)(y\to x))+(x \to y)](\overline{x \to y}+y)= \\ (((\overline x+y)(\overline y+x))+(\overline x+y))(\overline{\overline x+y}+y)= \\ (\overline x\cdot\overline y+\overline xx+y\overline y+xy+\overline x+y)(x\overline y+y)= \\ (\overline x\cdot\overline y+xy+\overline x+y)(x\overline y+y)=0+0+0+xy+0+\overline xy+0+y= \\ y(x+\overline x+1)=y$