АнтиДискра
Это моя первая программа, которую я написал после поступления в университет.
У нас было довольно большое домашнее задание по дискретной математике, в котором нужно было проанализировать логическую функцию от трёх аргументов и найти наиболее оптимальное её разложение по 15 базисам. Это было долго и уныло, поэтому я решил всё автоматизировать.
В результате я неделю писал эту программу, потом за полчаса получил решение домашнего задания. Мои же знакомые, которые делали то же самое вручную, потратили на дз от 2 до 3 недель.
Позднее я оптимизировал приложение, благодаря чему оно теперь справляется за 10 минут и гарантированно находит оптимальные разложения.
Что умеет программа
Программа умеет решать систему уравнений с 8 булевыми неизвестными методом Гаусса. Надо отметить, что в этих уравнениях вместо произведения и сложения должны быть логические И и исключающее ИЛИ.
Таким образом решается первая часть дз.
Вторая часть дз решается тоже автоматически. В том числе программа:
- Подсчитывает производные по всем аргументам
- Раскладывает функцию по 18 базисам
- Находит ряды Тейлора для функции
- Проверяет функцию на соответствие критериям Поста
- Проверяет, можно ли выразить стандартные бинарные логические операторы через эту функцию