Предмет: Информатика,
автор: Аноним
Помогите пжжж
Упростите указанное логическое выражение
X & (Y V ¬Y) & (¬X | ¬Y) =
nastikots:
| - штрих Шеффера?
Ответы
Автор ответа:
1
Ответ:
X & (Y V ¬Y) & (¬X | ¬Y) = X
Объяснение:
X & (Y V ¬Y) & (¬X | ¬Y) = X & 1 & ¬(¬X & ¬Y) = X & (¬¬X V ¬¬Y) = X & (X V Y) = X
Y V ¬Y = 1 - закон исключающего третьего
¬X | ¬Y = ¬(¬X & ¬Y) - правило замены штриха Шеффера
X & 1 = X - операции с константами
¬(¬X & ¬Y) = ¬¬X V ¬¬Y - закон де Моргана
¬¬X = X - закон двойного отрицания
¬¬Y = Y - закон двойного отрицания
X & (X V Y) = X - закон поглощения
Похожие вопросы
Предмет: Математика,
автор: anastasyasemina
Предмет: Химия,
автор: Allj1
Предмет: Русский язык,
автор: Alexparhomov
Предмет: Литература,
автор: Monika333
Предмет: Алгебра,
автор: hxfkgxitxtixiyc