Миша заполнял таблицу истинности для выражения F. Он успел заполнить лишь небольшой фрагмент таблицы
| x1 | x2 | x3 | x4 | x5 | x6 | F |
|---|---|---|---|---|---|---|
| 0 | 1 | 0 | ||||
| 1 | 1 | 0 | ||||
| 1 | 0 | 1 |
Каким выражением может быть F?
1) x1 ∧ x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6
2) x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ ¬x5 ∨ x6
3) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ x6
4) ¬x1 ∨ x2 ∨ x3 ∨ x4 ∨ x5 ∨ ¬x6
Первое выражение удовлетворяет всем строкам таблицы.
Второе выражение является дизъюнкцией с дизъюнктом x2, а в первой строке таблицы x2=1 и F=0, что является противоречием.
Третье выражение является конъюнкцией с конъюнктом x6, а в третьей строке таблицы x6=0 и F=1, что является противоречием.
Четвёртое выражение является дизъюнкцией с дизъюнктом x3, а во второй строке x3=1 и F=0, что является противоречием.