Форум РадиоКот

Truth Table
#TABLE: x1,x2 => y1,y2
00 => 00
01 => 10
10 => 11
11 => 01

http://radiokot.ru/forum/download/file.php?id=106446
http://radiokot.ru/forum/download/file.php?id=106447
http://www.дшщт.radiokot.ru/forum/download/file.php?id=106446

y1 = x1 !x2 | !x1 x2;
y2 = x1;

http ...

Как-то все запутано у вас ;)
Давайте забудем, что у вас комбинационная схема для автомата строится, и подумаем, как ее минимизировать. Ну и ваши странные обозначения выкинем, и будем использовать только 0, 1 и - (или *) для безразличного состояния.
А вообще, давайте таблицу истинности сюда, а то ...

Косячники вы все же! Два человека по меньшей мере же. Я давал ссылку на педивикию же! Уж что-то она бывает тупая, а эта тема там прекрасно разжёвана же!
http://radiokot.ru/forum/download/file.php?id=79525
Обратите внимание же на то, что находится в заголовках всех строк и столбцов! И на то, что ...

По моему все косячат по полной ;)
Нашел тут прогу, сижу для зачета тренируюсь, удобная штука.
Только надо проверить достоверность результатов.
Авторы, выкладывайте аналитическую запись ваших минимизаций, проверять удобнее.

Минимизируем по 0:
http://radiokot.ru/forum/download/file.php?id=84656
y ...

Минимизация по 0:
http://radiokot.ru/forum/download/file.php?id=84653
Получаем в аналитической записи:
y = (~a|b) & (~b|c|d) & (~b|~c|~d) & (a|~c|d) & (a|c|~d);

Минимизация по 1:
http://radiokot.ru/forum/download/file.php?id=84654
Получаем в аналитической записи:
y = a&b&~c&d | ~a&~b&~c&~d | ~a ...