Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Решение задач на тему:

Логическая функция F задаётся выражением (x ∧ (y ∨ ¬z) ∧ w) ≡ (x → ¬y ∧ z)

уникальность
не проверялась
Аа
999 символов
Категория
Информатика
Решение задач
Логическая функция F задаётся выражением (x ∧ (y ∨ ¬z) ∧ w) ≡ (x → ¬y ∧ z) .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

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

Решение

Потяни, чтобы посмотреть
Для всех строк заданной таблицы истинности значение функции F = 1. Используя определение эквиваленции ≡, получаем следующие варианты:
1. (x ∧ (y ∨ ¬z) ∧ w) = 0 и (x → ¬y ∧ z) = 0, тогда x = 1, ¬y ∧ z = 0,
то y = 1 и/или z = 0, w = 0;
2 . (x ∧ (y ∨ ¬z) ∧ w) = 1 и (x → ¬y ∧ z) = 1,
тогда x = (y ∨ ¬z) = w = 1, отсюда y = 1 и/или z = 0,
но ¬y ∧ z ≠ 0, то y = 0 и z = 1 – противоречие, этот вариант отбросим.
По полученным значениям заполним таблицу истинности и выполним проверку:
y x z w ¬z (y∨¬z) (x∧(y∨¬z)∧w) ¬y ¬y∧z
(x→ ¬y∧z) (x∧(y∨¬z)∧w)≡(x→ ¬y∧z)
0 1 0 0 1 1 0 1 0 0 1
1 1 0 0 1 1 0 0 0 0 1
1 1 1 0 0 1 0 0 0 0 1
Ответ
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по информатике:
Все Решенные задачи по информатике
Закажи решение задач

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.