Требуется разработать программу на Haskell, которая будет выполнять проверку выполнимости формул логики высказываний методом Дэвиса-Патнема. Проект срочный, необходимо завершить в течение трех дней. Ожидается качественная реализация для курсовой работы.