[SyTmen 0]

Здраствуйте, возникла трудность переделать функцию под элементы Шеффера.


Нужно функцию после карт Карно переделать под использование за ЛЕ Шеффера. Не могу далее решить задание т.к. при любом исходе и угруппировки прихожу к начальной функции, только все с коньюкциями.
Хотел бы узнать как можно далее решить задание.

Вот один из вариантов, который я делал уже в MicroCAP, но он тоже не верный.


Хотел бы узнать как можно далее решить задание, инструкцию или идею для решение. Спасибо.

[adnega 11]

Дык, упрощать функцию пока все ИЛИ не будут заменены на И.

Знаете как ИЛИ поменять на И?

[adnega 11]

\(Y=\bar{x_1}\bar{x_2}{x_3}\lor{x_1}\bar{x_2}\bar{x_3}\lor{x_1}\bar{x_2}{x_3}\lor{x_1}{x_2}\bar{x_3}\lor{x_1}{x_2}{x_3}=\)

\(=\bar{x_1}\bar{x_2}{x_3}\lor{x_1}\bar{x_2}(\bar{x_3}\lor{x_3})\lor{x_1}{x_2}(\bar{x_3}\lor{x_3})=\)

\(=\bar{x_1}\bar{x_2}{x_3}\lor{x_1}\bar{x_2}\cdot1\lor{x_1}{x_2}\cdot1=\)

\(=\bar{x_1}\bar{x_2}{x_3}\lor{x_1}\bar{x_2}\lor{x_1}{x_2}=\)

\(=\bar{x_1}\bar{x_2}{x_3}\lor{x_1}(\bar{x_2}\lor{x_2})=\)

\(=\bar{x_1}\bar{x_2}{x_3}\lor{x_1}\cdot1=\)

\(=\bar{x_1}\bar{x_2}{x_3}\lor{x_1}\)

-упростили

 

\(Y=\bar{x_1}\bar{x_2}{x_3}\lor{x_1}\to\overline{\overline{\bar{x_1}\bar{x_2}{x_3}}\cdot\bar{x_1}} \quad /*nNAND*/\to\overline{\overline{\overline{\overline{\bar{x_1}\bar{x_2}}}\cdot{x_3}}\cdot\bar{x_1}} \quad /*2NAND*/\)

\(\)- привели к 2-И-НЕ или И-НЕ

[adnega 11]

1. Заменяю ИЛИ на И, но добавляю инверсию аргументам и результату, т.к.

\(x \lor y = \overline{\bar{x} \cdot \bar{y}}\)

2. Добавляю четное количество инверсий, т.к. это не меняет результат.

Все понятно?

[Obam 34]

Всё правильно ТС минимизировал, дальше только "занервничал-заметался": лишних инверсий налепил.

А там всего-то:

Но, по-любому - молоцца (((-8Ж

[adnega 11]

\(Y={x_1}\lor\bar{x_1}\bar{x_2}{x_3}={x_1}\cdot(1\lor\bar{x_2}{x_3})\lor\bar{x_1}\bar{x_2}{x_3}={x_1}\lor{x_1}\bar{x_2}{x_3}\lor\bar{x_1}\bar{x_2}{x_3}={x_1}\lor({x_1}\lor\bar{x_1})\cdot\bar{x_2}{x_3}={x_1}\lor1\cdot\bar{x_2}{x_3}={x_1}\lor\bar{x_2}{x_3}\)

- согласен, сразу не увидел

\(Y={x_1}\lor\bar{x_2}{x_3}=\overline{\bar{x_1}\cdot\overline{\bar{x_2}{x_3}}}=\overline{\overline{{x_1}\cdot{x_1}}\cdot\overline{\overline{{x_2}\cdot{x_2}}\cdot{x_3}}}\)

[SyTmen 0]

Спасибо большое, хорошего всем дня!

10 часов назад, Obam сказал:

лишних инверсий налепил.

У нас просто так и делают, могу скрин показать