Упростить логическое выражение. Осуществить переход к стандарт- ному базису (отрицание только над логическими переменными) и постро- ить схему из функциональных элементов. у=…

Для упрощения логического выражения и перехода к стандартному базису, применим законы алгебры логики. Дано выражение: у = (¬а1 ^ а2 -> а3) ^ !а3 ^ а2

Сначала заменим импликацию (->) на эквивалентное выражение: a -> b эквивалентно ¬a ∨ b. После этого получим: у = (¬(¬a1 ^ a2) ∨ a3) ^ !а3 ^ а2 у = ((a1 ∨ ¬a2) ∨ a3) ^ !а3 ^ a2

Теперь упростим выражение, используя законы де Моргана и дистрибутивности: у = ((a1 ∨ ¬a2) ∨ a3) ^ !а3 ^ a2 у = (a1 ∨ ¬a2 ∨ a3) ^ !а3 ^ a2

Далее, осуществим переход к стандартному базису. Для этого заменим отрицание на эквивалентное выражение: !a эквивалентно a → 0. Тогда получим: у = (a1 ∨ ¬a2 ∨ a3) ^ (а3 -> 0) ^ a2 у = (a1 ∨ ¬a2 ∨ a3) ^ (!a3) ^ a2 y = (a1 ∨ ¬a2 ∨ a3) ^ (a3') ^ a2

Наконец, построим схему из функциональных элементов для данного логического выражения. Для этого используем логические элементы, такие как ИЛИ (a1 ∨ ¬a2 ∨ a3), НЕ (!a3) и И (a2), соединяя их в соответствии с логикой выражения.