Добавлена поддержка специальных символов для булевых операций. Добавлено сокращение СДНФ и СКНФ. Добавлены комментарии.