Данный проект посвящен глубокому академическому анализу и систематизации метода построения логических функций, базирующегося на таблицах истинности, с акцентом на применение карт Карно. Мы исследуем теоретические основы данного подхода, его вычислительную эффективность и практическую применимость в различных областях цифровой схемотехники и логического проектирования. Особое внимание уделяется оптимизации получаемых булевых выражений, что напрямую влияет на сложность и производительность реализуемых цифровых устройств. В рамках проекта будет проведен сравнительный анализ карт Карно с альтернативными методами минимизации логических функций, такими как метод Куайна-Мак-Класки и метод алгебраических преобразований, с целью выявления их преимуществ и недостатков для различных классов задач.