О чём рассказывается в презентации:
Презентация охватывает основы дизъюнктивной (ДНФ) и конъюнктивной нормальных форм (КНФ), включая ключевые методы логических преобразований и алгоритмы оптимизации булевых функций. Участники узнают о стандартизированном представлении логических функций, а также о процессах приведения формул и минимизации, что критически важно для разработки эффективных вычислительных алгоритмов и систем логического вывода.
