Мне нужно реализовать некоторую функцию с несколькими переменными в логической схеме; какие у нас есть инструменты для автоматического преобразования некоторой арифметики в логическую схему?
Например, частью формулы, которую я хочу реализовать, является оператор max(a,b)
, который получает 2 числа (пока 16 бит) и возвращает индекс максимального числа (т. е. 0 или 1).
Я знаю, что могу построить таблицу истинности и автоматически преобразовать ее в логическую схему, но для этого потребуется действительно огромная схема (есть 2 ^ 32 записи).