Задание

Миша за­пол­нял таб­ли­цу ис­тин­но­сти для вы­ра­же­ния 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