Итак, мне известны и карты Карно, и Куайн МакКласки, но обе из них, похоже, требуют таблицы истинности.Это нормально, скажем, для 32 бит, но даже с 32 битами это означает, что у вас есть 4 миллиарда записей в вашей таблице истинности.
Что если бы у вас была (скажем) тысяча бит в качестве ввода, и у вас был какой-то гигантскийформула для выходных данных, но, очевидно, перечисление их всех таким образом было бы неосуществимо .. (2 ^ 1024 и все такое.)
Есть ли способ взять выражение (скажем, выражение типа
a и b, а не c и (b или c) и (не d) ... и возвращают упрощенное выражение? Такое, которое может содержать что-то вроде сотен или тысяч переменных?
Спасибо ..