1. Главная
  2. Библиотека
  3. Информатика
  4. На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определ...

На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F ... Логическая функция F задаётся выражением ((y → x) ∨ (¬z ∧ w)) ≡ (w ≡

«На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F ... Логическая функция F задаётся выражением ((y → x) ∨ (¬z ∧ w)) ≡ (w ≡»
  • Информатика

Условие:

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

Решение:

Для всех строк заданной таблицы истинности значение функции F = 1. Используя определение эквиваленции , получаем следующие варианты:

1. (w x) = 0 и ((y x) (z w)) = 0, отсюда (y x) = 0 и (z w) = 0,

тогда y = 1, x = 0, w = 1, z = 1.

2. (w x) = 1 и ((y x) (z w)) = 1, тогда:

a) (y x) = 0, (z w) = 1, то w = x = 1, но (y x) = (y 1) = 1 0

...

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет