все записи автора Настроение сейчас - Сижу, отдыхаю, с превеликим удовольствием водичку попиваю...

YES! Я реализовал решение этой своей задачи по дискретке. Потратил всего 9,5 часов, написав 11 Кб кода в Borland Delphi 7 и прослушав абсолютно все композиции группы Deep Forest.
Задача сводилась вот к чему… В общем, цитирую её условие (ломаный русский, но суть ясна):
"Для записи логической функции использовать латинские буквы, 4 логические операции ("+", "–", "*", "@" {последнее – это ИСКЛЮЧАЮЩЕЕ ИЛИ. Его, конечно, правильно обозначать кружочком с крестиком, но, дабы не искать, а затем подключать таблицу символов, содержащую данный символ, я лично решил ограничиться обозначением "эт" – "@"}). Также использовать скобки в логической функции и отрицание сложных выражений. После ввода логического выражения должны появиться ТАБЛИЦА ИСТИННОСТИ и СДНФ".
Скажу честно, положа руку на сердце – я не знаю, что такое СДНФ. То есть, я ни разу не прочитал теоретический материал, поясняющий, что это за запись такая. Но одного взгляда на первую попавшуюся мне СДНФ хватило, чтоб я понял, как её составить. Впоследствии результаты полностью совпали.
Но всё это происходило в последние 5 минут… А предыдущие 9,5 часов заняло кодирование именно ВЫЧИСЛЕНИЯ логической функции. У меня эта проблема, да и, в общем, вся задача решается по такому алгоритму:
1. Производится поиск ошибок в записи функции. В ходе проб я нашёл 5 типов ошибок, которые можно было бы допустить при вводе:
а) Строка пуста;
б) В ней подряд стоят два несовместимых знака операций (таких комбинаций, типа "++", "+*", "(*"… я насчитал 20 штук);
в) Строка начинается или заканчивается с знака бинарной операции;
г) Знак логического НЕ (унарный!) размещён между двумя операндами;
д) Нарушен баланс скобок (во-первых, число закрытых скобок должно равняться числу открытых, а во-вторых, ни в одном месте строки не должно быть найдено позиции, до которой закрывающихся скобок наблюдается больше, чем открывающихся). Из экономии времени я не стал устраивать автоматическую расстановку скобок.
Ошибки, которые можно было бы внести другими специальными символами или цифрами, я не допускаю при помощи элементарного анализа нажатия клавишы. Конечно, остаётся такая лазейка, как контекстное меню компонента Edit, но она особого внимания, думаю, не стоит.
Сначала я рассчитывал производить действия также и с русскими буквами, но скоро сообразил, что на них не распространяется действие функции UpCase(Ch: Char): Char, нормализующей регистр, а зачем самому-то это делать? Поэтому ограничился латинскими буквами и блокировкой смены языков при выполнении программы.
Но вернёмся к алгоритму решения. После поиска ошибок (1), если только он не нашёл ни одной ошибки, у меня выполняются:
2. Определение числа используемых букв. Только числа – сам набор определяю позже.
3. Задание соответствующих параметров таблице класса TStringGrid.
4. Отказ от умолчаний, принятых в алгебре – вставка умножений везде, где требуется. Теперь выражение типа A(D+GH)T@-RE(-T*-F) будет выглядеть так: A*(D+G*H)*T@-R*E*(-T*-F).
5. Трансляция выражения в постфиксную форму (ну, не мог я удержаться от этого удовольствия!).
6. Рекурсивный перебор битовых значений букв, наконец, РАСЧЁТ выражения, записанного в постфиксной форме (я чуть не всплакнул – чтобы проанализировать выражение, записанное в инфиксной форме с помощью скобок, требуется глубоко задуматься и набрать несколько десятков строк кода. Для постфиксной это заняло три строки – это при четырёх-то действиях!), ну и заполнение таблицы истинности. Синхронно составляется СДНФ – по одному члену с каждой комбинации, если только он истинный.
7. Отображение СДНФ на-гора и возвращение фокуса полю ввода.
Вот так, значит. Покажу сегодня пацанам – пусть потестят, может, где-нить лаги найдут. Я, правда, оптимизацией готовой программы сейчас не занимался вообще – появится желание – попозже выполню. А сумма всего времени, потраченного на отладку, заняло не более 1 минуты – как всегда, присутствовала моя "традиционная" ошибка – в одном месте написал "1" вместо "i". Именно эту ошибку – с символами i и 1 я допускаю в каждой программе. Может, вообще отказаться от такого имени идентификатора, как i?