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

16.12.2021

Задание 2. Умения строить таблицы истинности и логические схемы.

Для успешного решения номера вам важно знать 3 теоретических момента:

  1. Основные логические операции
  2. Порядок логических операций
  3. Законы логики

Для логических операций приняты следующие обозначения:

Задание 2

Олег заполнял таблицу истинности функции (¬ х ∨ y)  ∧ (x ≡ ¬z) ∧ w, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.

Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.

В ответе напишите буквы w, x, y, z. В том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу, затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Решение:
Составить таблицу истинности для выражения (¬ х ∨ y)  ∧ (x ≡ ¬z) ∧ w нам поможет Python.

Phyton построил нам таблицу для функции, при которых данное выражение равно 1. Получили следующие наборы (см. рисунок). Сопоставим эти наборы с приведенным в задании фрагментом таблицы истинности.

Можем смело поставить единицы в пустые ячейки таблицы. Три единицы по вертикали имеет переменная w. Два нуля по вертикали только у переменной х. По горизонтали, в строке с двумя единицами, одна для w, вторая для z, а y определился сам. ВСЁ!

Ответ: yzxw