Каково наименьшее натуральное число х при котором истинно высказывание :...

$((x\ \textgreater \ 7)+(x\ \textless \ 7))\to(x\ \textgreater \ 8) = \\ \\ \overline{(x\ \textgreater \ 7)+(x\ \textless \ 7)}+(x\ \textgreater \ 8)= \\ \overline{x\ \textgreater \ 7}\cdot\overline{x\ \textless \ 7}+(x\ \textgreater \ 8)}=(x\le7)(x\ge7)+(x\ \textgreater \ 8)= \\ (x=7)+(x\ \textgreater \ 8)$
Наименьшим будет значение х=7