" а чё он пришёл на форум программистов? "

Наверно потому, что всё, что находится между if и then или внутри скобок if () или в SQL после ON или WHERE и еще во многих местах, это и есть или ДНФ или КНФ.

" фигасе логика у этих математиков "

Это всего лишь формальная модель, которая никак не связана с нашими житейскими представлениями об истинности и ложности.

" давайте ещё интегралов напихаем в наши if "

Без проблем. Для булевых (логических) функций определены операции дифференцирования и интегрирования:

https://ru.wikipedia.org/wiki/Производная_булевой_функции#:~:text=Производная булевой функции (булева производная,и анализе дискретных динамических систем.

Чуть более подробно можно посмотреть, например, здесь

http://www.rusnauka.com/20_DNII_2012/Matemathics/2_114385.doc.htm

Первой работой в этом направлении на доступном нам языке, я думаю, была

Бохманн Д. Булевское дифференциальное исчисление. Обзор // Труды АН СССР, Техническая кибернетика, т. 15, № 5, 1977. - с. 68-75.

" Я сдавал спецкурс по дискретной математике(МГУ), но что-то этих аббревиатур не помню. "

Скорее всего вы учили дискретную математику по книге Яблонского, профессора МГУ,

Яблонский С. В. Введение в дискретную математику: Учебное пособие для вузов. — 6-е изд. — М.: Высшая школа, 2010. — 384 с. — ISBN 978-5-06-004681-6.

Возможно, не этого издания.

Загляните в эту книгу часть 1. Функциональные системы с операциями, параграф 4. Разложение булевых функций по переменным. Совершенная дизъюнктивная нормальная форма.


Психологи говорят, что человек с возрастом лучше помнит то, что происходило в далеком прошлом, чем то, что происходило в недавнем прошлом, скажем, вчера.

Я, например, хорошо помню свои первые проекты и забываю написанное вчера.
У вас в этом плане огромное преимущество, вы не помните студенческие годы.