ответ: -y
Объяснение:
Оговоримся с синтаксисом.
"НЕ А" - "-А"
"дизъюнкция" (веточки вверх) - "+"
"конънкция" (веточки вниз) - "*"
-y + -[(x + y) * -y] * x * -y
Обратим внимание на -[(x + y) * -y]. Воспользуемся законом де Моргана для И (конъюнкции):
-[(x + y) * -y] = -(x + y) + --y
по закону двойного отрицания:
-(x + y) + y
Теперь воспользуемся законом де Моргана для ИЛИ:
-x * -y + y
Вернём это в исходное выражение:
-y + -[(x + y) * -y] * x * -y = -y + [-x * -y + y] * x * -y
Воспользуемся распределительным законом для ИЛИ:
-y + [-x * -y + y] * x * -y = -y + (-x * x * -y + x * y) * -y
по закону исключения третьего для И:
-y + (-x * x * -y + x * y) * -y = -y + (0 * -y + x * y) * -y = -y + (0 + x * y) * -y (операция с константой)
по закону операций с константами:
-y + (0 + x * y) * -y = -y + x * y * -y
теперь так же закон исключения третьего для И и закон операций с константами:
-y + x * y * -y = -y + x * 0 = -y + 0 = -y
ответ: -y
Объяснение:
Оговоримся с синтаксисом.
"НЕ А" - "-А"
"дизъюнкция" (веточки вверх) - "+"
"конънкция" (веточки вниз) - "*"
-y + -[(x + y) * -y] * x * -y
Обратим внимание на -[(x + y) * -y]. Воспользуемся законом де Моргана для И (конъюнкции):
-[(x + y) * -y] = -(x + y) + --y
по закону двойного отрицания:
-(x + y) + y
Теперь воспользуемся законом де Моргана для ИЛИ:
-x * -y + y
Вернём это в исходное выражение:
-y + -[(x + y) * -y] * x * -y = -y + [-x * -y + y] * x * -y
Воспользуемся распределительным законом для ИЛИ:
-y + [-x * -y + y] * x * -y = -y + (-x * x * -y + x * y) * -y
по закону исключения третьего для И:
-y + (-x * x * -y + x * y) * -y = -y + (0 * -y + x * y) * -y = -y + (0 + x * y) * -y (операция с константой)
по закону операций с константами:
-y + (0 + x * y) * -y = -y + x * y * -y
теперь так же закон исключения третьего для И и закон операций с константами:
-y + x * y * -y = -y + x * 0 = -y + 0 = -y