Упростите указанное логическое выражение
X & (Y V ¬Y) & (¬X | ¬Y) =

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