Какие существуют методы оптимизации логических выражений для поиска наименьших чисел?

Некоторые методы оптимизации логических выражений:

• Метод непосредственных преобразований. infourok.ru Осуществляется с использованием основных теорем алгебры логики. infourok.ru При применении метода форма преобразуется и упрощается с использованием аксиом алгебры логики. infourok.ru
• Метод неопределённых коэффициентов. intuit.ru
• Аналитические методы. intuit.ru К ним относятся метод Квайна и метод Квайна — Мак-Класки. intuit.ru
• Метод минимизирующих карт. intuit.ru К этому типу относятся карты Карно и диаграммы Вейча. intuit.ru Метод обеспечивает относительную простоту работы с большими выражениями и устранение потенциальных гонок. habr.com
• Эвристические методы. en.wikipedia.org В них используются установленные правила, которые решают практически полезное подмножество большого возможного набора проблем. en.wikipedia.org Эвристический метод может и не дать теоретически оптимального решения, но обеспечит большую часть желаемой оптимизации с минимальными усилиями. en.wikipedia.org