построение таблиц истинности логических выражений

Слайд 2

Задача 1. ИНФОРМАТИКА 2014г. Кирсанов Илья Андреевич © Дан фрагмент таблицы

Задача 1.

ИНФОРМАТИКА

2014г. Кирсанов Илья Андреевич ©

Дан фрагмент таблицы истинности выражения 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
Слайд 3

Задача 1. ИНФОРМАТИКА 2014г. Кирсанов Илья Андреевич © Действуем методом исключения.

Задача 1.

ИНФОРМАТИКА

2014г. Кирсанов Илья Андреевич ©

Действуем методом исключения.
Если в пунктах

1 и 3 встречается хотя бы один ноль, то значение F тоже ноль.
Если в пунктах 2 и 4 есть хоть одна единица, то F тоже приобретёт значение единица.
1 и 3 пункт проверяем на 3-й области, а 2 и 4 на 1 и 2-й области.
¬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
Ответ 1.