Найти таблицы истинности логической функции.

[Harveeey]

Всем привет !
Пожалуйста, помоги решить задачку:

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

Заранее огромное человеческое спасибо !

язык TurboPascal.

[min@y™]

Заранее огромное человеческое спасибо !

За спасибо такое тут никто не станет делать. Судя по заданию - вещь серьёзная.

[Harveeey]

это всего лишь номер из лабораторной
1 курс

[Stilet]

Нонче в лабы синтаксический анализатор дают?
Неслабо как по мне. Реализовать можно если знать и времени свободного иметь, но для лаб перебор.

[Harveeey]

такие нынче лабы пошли )

[min@y™]

Сообщение от Harveeey

такие нынче лабы пошли )

[Poma][a]

А за дело-то встало?
Бабахаете нисходящий рекурсивный анализ.. а там учитываете диапазон..

[min@y™]

Сообщение от Poma][a

А за дело-то встало?
Бабахаете нисходящий рекурсивный анализ.. а там учитываете диапазон..

[evg_m]

1. ограниченный НАБОР переменных.

и логическими переменными от A до Z.

func:='A or B and not C';

result:=TRUFALSE(func);

function TRUFALSE(const f: string): string; // результат строка таблицы истинности
const 
   alf='A..Z';
begin
  // ищем первый используемый алфавитный символ (первый по алфавитному номеру!!)
  firstsymbol:=' ';
  for j:=1 to length(alf) do 
     if pos(alf[j], f)>0 then begin firstsymbol:=alf[j]; break; end;
 

 if firstsymbol=' ' then result:=CALC(f) // если алфавитных символов нет ВЫЧИСЛЯЕМ!!
 else begin //заменяем указанный символ на 0(false) и 1(true) получаем ДВЕ функции меньшего уровня и применяем рекурсию!! 
   s0:=StringReplace(firstsymbol, '0', f); 
   s1:=StringReplace(firstsymbol, '1', f); 
   result:=TRUEFALSE(s0) +TRUEFALSE(s1); //соединяем таблицы истинности меньших уровней и получаем ответ
end;
end;

2. ограниченный набор операторов.

function CALC(const f: string): char;
begin // вычисляем ОДНО(!) ЛОГИЧЕСКОЕ выражение содержащее скобки операторы значения 0(false) 1(true)
/// !!! БЕЗ ПЕРЕМЕННЫХ!! их мы "убрали" в рекурсии TRUEFALSE
далее подсказки для использования рекурсии
// CALC(' 1 and 0 or (not 1)');
//   CAlC('1') and CALC('0 or (not 1)'); 
//   CALC('0') or CALC('not 1');
//   not CALC('1');    
end;