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