Інформаційна технологія розпізнавання неістинності висловлювань

Описано процес пошуку та застосування можливих шляхів
оптимізації роботи програмної реалізації методу Куайна – Мак-Класкі на мові
програмування C#. Проаналізовано доцільність використання знайдених шляхів
оптимізації, а також їх ефективність.