A2 - Таблицы истинности логической функции

1. Дан фрагмент таблицы истинности выражения F. Какое выражение соответствует F?

x1 → (x2 ∧ x3 ∨ x4 ∧ x5 ∨ x6 ∧ x7)
x2 → (x1 ∧ x3 ∨ x4 ∧ x5 ∨ x6 ∧ x7)
x3 → (x1 ∧ x2 ∨ x4 ∧ x5 ∨ x6 ∧ x7)
x4 → (x1 ∧ x2 ∨ x3 ∧ x5 ∨ x6 ∧ x7)
как решить???