При каком наборе X, Y, Z, W выражение X ∨ ¬Y ∨ Z ∨ ¬W ложно
Условие
Логическое выражение зависит от четырёх переменных. Найдите набор значений , , , , при котором , и определите, сколько строк полной таблицы истинности этого выражения содержат значение 1.
Ответ
только при , , , ; единиц в таблице 15 строк из 16.
Решение по шагам
Шаг 1. Главное свойство дизъюнкции
Выражение состоит из четырёх слагаемых, соединённых только знаком :
Дизъюнкция равна 1, если истинно хотя бы одно слагаемое. Значит, ноль она даёт только в единственной ситуации — когда все слагаемые сразу равны нулю. Строить 16 строк вручную не нужно: достаточно решить систему из четырёх простых условий.
Шаг 2. Приравниваем каждое слагаемое к нулю
Записываем условия по одному:
- ;
- ;
- ;
- .
Первое и третье условия сразу дают значения переменных. А второе и четвёртое записаны через инверсию, поэтому их ещё предстоит «перевернуть» — именно здесь чаще всего теряется знак. Подумайте: чему равна сама переменная, если её инверсия равна нулю?
Осталось ещё 2 шага — откроются после входа:
- Шаг 3. Выписываем набор и проверяем подстановкой
- Шаг 4. Считаем количество единиц
Бесплатно · займёт минуту
Частые ошибки
- ✗
Из условия делают вывод и выдают неверный набор .
- ✗
Путают дизъюнкцию с конъюнкцией: у конъюнкции единица одна, а нулей 15 — то есть числа те же, но местами переставлены.
- ✗
Считают и получают 7 единиц вместо 15.
- ✗
Начинают выписывать все 16 строк вручную, теряют пару наборов и ошибаются в подсчёте — здесь таблица не нужна.