АнтиДискра

Это моя первая программа, которую я написал после поступления в университет.

У нас было довольно большое домашнее задание по дискретной математике, в котором нужно было проанализировать логическую функцию от трёх аргументов и найти наиболее оптимальное её разложение по 15 базисам. Это было долго и уныло, поэтому я решил всё автоматизировать.

В результате я неделю писал эту программу, потом за полчаса получил решение домашнего задания. Мои же знакомые, которые делали то же самое вручную, потратили на дз от 2 до 3 недель.

Позднее я оптимизировал приложение, благодаря чему оно теперь справляется за 10 минут и гарантированно находит оптимальные разложения.


Что умеет программа

Программа умеет решать систему уравнений с 8 булевыми неизвестными методом Гаусса. Надо отметить, что в этих уравнениях вместо произведения и сложения должны быть логические И и исключающее ИЛИ.
Таким образом решается первая часть дз.

Вторая часть дз решается тоже автоматически. В том числе программа:

  • Подсчитывает производные по всем аргументам
  • Раскладывает функцию по 18 базисам
  • Находит ряды Тейлора для функции
  • Проверяет функцию на соответствие критериям Поста
  • Проверяет, можно ли выразить стандартные бинарные логические операторы через эту функцию

Загрузить