Дан фрагмент таблицы истинности выражения F. помогите пожалуйста,с импликацией имеются небольшие проблемы -.-

Импликация ложна, если первая переменная в импликации истинна, а вторая - ложна. То есть 1->0 = 0 Все выражения похожи, и для данного примера их можно рассматривать как a -> b, где b - это выражение в скобках. В таблице в столбце F все значения равны нулю, значит переменная a должна быть равна 1 во всех столбцах.  В вариантах ответа переменной a будут соответствовать x1, x2, x3, x4, в таблице только у одной из этих переменных значение во всех строках равно 1, это у x4. Получается, что ответ 3.