Представление и синтаксическая проверка формул языка логики высказываний Java был реализован алгоритм, позволяющий проверить является ли формула сднф. Суть алгоритма заключается в первичной проверке формулы, построении дерева выражения и его проверки на соответствие сднф Отчет 480,7 Kb. 1