Алгебра логики. Задача 4-31
Символом обозначено одно из указанных ниже логических выражений от трех аргументов . Дан фрагмент истинности выражения :
0 | 0 | 1 | 0 |
0 | 1 | 0 | 1 |
1 | 1 | 1 | 1 |
Какое выражение соответствует ?
1) 2) 3) 4)
Ответ
3
Решение
Упростим выражения:
1) 2) 3) 4)
Первое выражение противоречит первой строке таблицы, потому что при результат выражения будет равен 1. Второе выражение противоречит третьей строке, потому что при , равными соответственно 1, 1, результат будет равным 0. Четвертое выражение противоречит третьей строке таблицы, потому что при результат будет равным 0.
Проверим выражение 3, вычислив все его значения на наборах данных таблицы: