Статья Автор: Деникина Н.В., Деникин А.В.

Логические операции

A и B — значения, над которыми выполняется операция. Они могут обозначать отдельные переменные или целые выражения в скобках.

В каждой строке ниже выбрана одна пара A и B. Справа стоят результаты пяти операций для этой пары.

A	B	¬AНЕ	A ∧ BИ	A ∨ BИЛИ	A → Bимпликация	A ≡ Bравенство
0	0	1	0	0	1	1
0	1	1	0	1	1	0
1	0	0	0	1	0	0
1	1	0	1	1	1	1

Посмотрим на пару A = 1, B = 0. В столбце A → B для неё получаем 0.

НЕ меняет 0 на 1 и 1 на 0. И даёт 1, когда оба значения равны 1. ИЛИ даёт 1, когда есть хотя бы одна единица.

Импликация равна 0 только при переходе 1 → 0. Равенство даёт 1, когда значения совпадают.

Формула задаёт значение F. В таблице из условия показана только часть строк и пропущены некоторые значения.

Пустая клетка — неизвестное значение. В ней может стоять и 0, и 1. Точка «·» в наших разборах обозначает такую клетку.

Нужно восстановить подписи столбцов. Каждая переменная занимает один столбец. Ответ записывают буквами слева направо, без пробелов.

При A = 1 и B = 0 чему равно A → B?

Печать