Как упростить функции по Де Моргану?

Question

[Данил]

У меня есть 3 функции
f1 = (!x0&&x3)||(x0&&x1&&!x2)||(!x0&&!x1&&!x2);
f2 = (x0&&!x1&&!x2)||(x0&&!x1&&!x3)||(!x0&&x1&&x2)||(!x0&&x1&&x3)
f3 = (!x0&&x1&&!x3)||(!x0&&x1&&x2)||(!x0&&x2&&!x3)||(x0!&&x1!&&x2!&&x3)

Как их упростить и перевисти их в assembler

Comments

[Lynn «Кофеман»]

Как в учебнике написано

[Данил]

Lynn «Кофеман», название или ссылку на учебник

[Lynn «Кофеман»]

Так а что вы понимаете под «упростить»?
Это уже и так формулы записанные в ДНФ

[Денис Загаевский]

Данил, забыл добавить "и побыстрее, смерд!"

[User700]

Если речь про законы де Моргана, то это формулы для отрицания И/ИЛИ. Как попытаться упростить - можно построить таблицу истинности и попробовать выразить меньшим количеством, но более разнообразными функциями, например XOR.
Просто так "перевести в ассемблер" невозможно, т.к. это не какой-то конкретный язык прогр., а способ записи инструкций процессора. Т.е. делается для какого-то указанного процессора. Кроме того, такая же история и с понятием "функция" (см. соглашения о вызове).

[Данил]

User700, я написал програмулину на си чтобы проверить эту функцию на x0 - x3 я подаю набор 0 и 1 и на выходе должно получится 0 или 1 согласно таблице истинности но когда я начал делать на assembly у меня на выходе 255 или 254 хз где я ошибся

[User700]

Данил, понятно

Answer 1

[Григорий Боев]

Wolphram может помочь, или это