Предмет: Информатика, автор: Аноним

Помогите пжжж
Упростите указанное логическое выражение

X & (Y V ¬Y) & (¬X | ¬Y) =


nastikots: | - штрих Шеффера?
Аноним: да

Ответы

Автор ответа: 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 - закон поглощения

Похожие вопросы
Предмет: Алгебра, автор: hxfkgxitxtixiyc