Баги.

Здесь описаны замеченные ранее ошибки программ и способы их устранения.

  1. При использовании Символьного ввода для задания функции возможны такие ситуации, когда результаты минимизации возвращаться не будут.

    Для получения результата, воспользуйтесь функцией расчета таблицы истиности и карты Карно, и уже используя полученные результаты используйте для получения минимизированных функций.

  2. При просчёте соседей, поиске интервалов на карте Карно или при минимизации функций могут возникать ошибки исполнения программ Karno_kernel.exe или Pr.exe.

    Для исправления последствий данных ошибок необходимо закрыть программу и запустить скрипт erhel.bat. Он должен из директории программы удалить следующие файлы, если они присутствуют:

    tfile1.txt
    tfile2.txt
    tfile3.txt
    outfile3.txt
    outfile4.txt
    insosed.txt
    outsosed.txt
    inint.txt
    outint.txt
    pfunc
    comb
    temp
    temp1

    После выполнения скрипта можете продолжать работу, запустив программу. Если после описанных действий опять всё-таки возникают ошибки исполнения программ Karno_kernel.exe или Pr.exe, в каталоге программы найдите указанные объекты и удалите их вручную.

Если после описанных выше действий, всё ещё продолжают возникать ошибки, препятствующие работе программы, обратитесь к разработчикам с детальным описанием вашей проблемы и ваших действий до её возникновения.