Миша за­пол­нял таб­ли­цу ис­тин­но­сти для вы­ра­же­ния F. Он успел за­пол­нить лишь не­боль­шой фраг­мент таблицы
Каким вы­ра­же­ни­ем может быть F?

• x1 ∧ \(x2 → x3\) ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7
• x1 ∨ \(¬x2 → x3\) ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ ¬x7
• ¬x1 ∧ \(x2 → ¬x3\) ∧ x4 ∧ x5 ∧ x6 ∧ x7
• x1 ∨ \(x2 → ¬ x3\) ∨ x4 ∨ x5 ∨ ¬x6 ∨ x7