1"""
  2[Title/Звание]
  3
  4Logic Crusher - Оптимизатор и визуализатор за булеви изрази.
  5
  6[Description/Обрисовка]
  7
  8Logic Crusher е графично приложение, което позволява на потребителите да въвеждат, опростяват, 
  9анализират и минимизират булеви изрази. Чрез подходящ интерфейс, потребителите могат да изпълняват разнообразни операции върху 
 10булеви функции, включително опростяване, минимизиране с алгоритъма на Quine–McCluskey, проверка на логически свойства, 
 11генериране на полиноми на Жегалкин и визуализация на Карно карти и абстрактно синтактично дърво (AST) с помощта на Graphviz. 
 12Основната цел на приложението е да намали сложността на логическите формули за по-добра разбираемост и ефективност, 
 13улеснявайки анализа и оптимизацията на логически изрази за образователни и професионални цели.
 14
 15[Functionalities/Надарености]
 16
 171. Въвеждане на булев израз чрез потребителски интерфейс: 
 18   -Потребителите могат лесно да въведат желаните булеви изрази чрез интуитивен графичен интерфейс.
 19
 202. Валидация на синтаксиса на израза: 
 21   - Вграден валидатор проверява синтаксиса на въведения израз и уведомява потребителя за грешки.
 22
 233. Опростяване на израза: 
 24   - Автоматично опростява булевите изрази чрез прилагане на логически закони и елиминиране на излишни компоненти.
 25
 264. Проверка на логически свойства:
 27   - Монотонност: Проверява дали функцията е монотонна, тоест дали увеличаването на стойностите на променливите не води до намаляване на стойността на функцията.
 28   - Линейност: Определя дали функцията е линейна, като анализира полинома на Жегалкин.
 29   - Самодвойственост: Проверява дали функцията е самодвойствена, тоест дали нейният дуал(огледален образ) е равен на нейното отрицание.
 30   - Запазване на нулата и единицата: Определя дали функцията запазва константните стойности 0 и 1.
 31
 325. Минимизиране на булеви изрази с алгоритъма на Quine–McCluskey:
 33   - Използва алгоритъм за минимизация, което води до по-ефективни логически схеми.
 34
 356. Генериране на полином на Жегалкин:
 36   - Преобразува булевите функции в техния еквивалентен полином на Жегалкин за по-лесен анализ и разбиране.
 37
 387. Генериране и визуализиране на Карно карти за 2 до 4 променливи:
 39   - Визуализацията на Карно карти улеснява процеса на минимизация и визуален анализ.
 40
 418. Визуализиране на абстрактно синтактично дърво (AST) с Graphviz: 
 42   - Показва структурната организация на булевия израз, помагайки за по-добро разбиране.
 43
 449. Показване на резултатите и минимизираните изрази в графичния интерфейс: 
 45   - Всички резултати се показват директно в приложението за удобство на потребителя.
 46
 4710. Разлагане по променлива: 
 48   - Прилага разлагане по Шанън за избрана променлива, предоставяйки кофакторите за по-дълбок анализ.
 49
 5011. Предотвратяване на дублиране: 
 51   - Чрез използване на множество от булеви функции се предотвратява запазването на дублиращи се функции във файла.
 52
 5312. Запазване на информация: 
 54   - Позволява запазване на всички обработени булеви функции и тяхната информация във външен файл, във формат JSON.
 55
 56[Milestones/Възлови точки]
 57
 581. Лексер и парсер:
 59   - Имплементация на лексер за токенизиране на входните изрази.
 60   - Разработка на парсер за създаване на абстрактно синтактично дърво(AST).
 61
 622. AST Възли и опростяване:
 63   - Създаване на класове за различните типове възли в AST - променливи(A, B, C ...), възли(AND, OR, XOR ...) и константи(1, 0, true, false).
 64   - Имплементация на методи за опростяване на булевите изрази.
 65
 663. Булеви функции, запазващи константите:
 67   - Имплементация на клас за обработване на константи(идеята е оптимизация и модулярност).
 68
 694. Полиномът на Жегалкин:
 70   - Имплементация на клас за опростяване на булеви функции чрез алгебрични операции.
 71   - По лесно прилагане на математически техники, като например намиране на симетрии и излишни термини в израза.
 72
 735. Клас за разглагане на булева функция по i променливи:
 74   - Позволява по-лесно управление и анализ на големи булеви изрази чрез разделянето им на по-малки.   
 75   - По-фокусирано опростяване на определени части от израза.
 76
 776. Затваряне на множество от булеви функции:
 78   - Имплементация на клас за управление на различни множества от булеви функции.
 79   - Позволява по-ефективно опростяване и минимизация чрез използване на свойства на затворените множества.
 80   - Валидация на операциите и предвидими резултати(Булева алгебра).
 81
 827. Минимизиране с Quine–McCluskey:
 83   - Разработка на клас за алгоритъма на Quine–McCluskey.
 84   - Интеграция на минимизиращия модул с основната логика на приложението.
 85
 868. Карно карта генератор:
 87   - Имплементация на класа за генериране на Карно карти.
 88   - Визуализация на карно карти чрез matplotlib.
 89
 909. Визуализация на AST с Graphviz:
 91   - Интеграция на Graphviz за визуализиране на AST.
 92   - Показване на генерираните графики в потребителския интерфейс.
 93
 9410. Графичен интерфейс (GUI):
 95   - Разработка на интерфейса с Tkinter.
 96   - Добавяне на бутони и полета за въвеждане и показване на резултати.
 97   - Обработка на потребителски действия и взаимодействия.
 98
 9911. Валидатор:
100   - Имплементация на клас за валидиране при токенизиране и преобразуване на токените в AST.
101
10212. Тестове и отстраняване на грешки:
103   - Писане на unit тестове за различните компоненти на приложението.
104   - Отстраняване на грешки и оптимизация на кода.
105
106[Estimate in man-hours/Времеоценка в човекочасове]
107
10880 часа
109
110[Usage of technologies/Потребление на технологии]
111
112- Python 3.12.7 - Език за разработка.
113- Tkinter - За създаване на графичния потребителски интерфейс.
114- re - За анализиране на изразите.
115- NumPy: За обработка на данни и матрични операции(при карно картите).
116- Matplotlib - За визуализиране на Карно карти.
117- itertools: За генериране на комбинации от стойности на променливите(функцията product).
118- Graphviz - За визуализиране на абстрактното синтактично дърво.
119- Pillow (PIL) - За обработка на изображения в Tkinter.
120- Quine–McCluskey алгоритъм - За минимизация на булеви изрази.
121- Алгебрични техники: Прилагане на математически методи за опростяване и анализ на булевите функции.
122- Unit тестове: За осигуряване на надеждност и коректност на приложението.
123"""