Код/модуль для оценки логического выражения, которое будет использоваться в awk или bash в Linux

Я не совсем понял, какова ваша цель, но я создал небольшой bash для получения любого логического выражения и записи его таблицы истинности. Может быть, это поможет. Он обрабатывает любые фигурные скобки, выражения AND, OR и NOT. Переменная — это все, что начинается с буквы (на выбранном вами языке). Единственное, что нужно изменить, это переменную COND. Его также можно установить из командной строки. Это работает, только если ваш bash поддерживает связанные массивы (declare -A ).

Вот сценарий:

#!/usr/bin/bash

COND="A AND (B OR C) AND NOT DD"

# Convert to bash syntax
cond=${COND// AND / && }
cond=${cond// OR / || }
cond=${cond// NOT / ! }
cond=${cond//^NOT /! }
cond=${cond//(/ ( }
cond=${cond//)/ ) }
# Now $cond can be used in eval adding "((..))" around it.
# The rest of the script prints the complete truth-table

# Collect unique variables
declare -A hvars
for var in $cond; do
  [[ $var =~ ^[[:alpha:]] ]] && hvars[$var]=1
done
# Make vars array
vars=(${!hvars[@]})
# Number of variables
n=${#vars[@]}
# Number or rows in truth-table
((N=1<<n))

echo "${vars[@]} | $COND"
for ((i=0; i<N;++i)); do
  for ((b=0; b<n; ++b)) do
    var=${vars[b]}
    ((val=i & 1<<(n-1-b) ? 1 : 0))
    printf "%*d " ${#var} $val
    eval "(($var=$val))"
  done
  eval "((r=$cond))"
  echo "| $r";
done

Выход:

A B C DD | A AND (B OR C) AND NOT DD
0 0 0  0 | 0
0 0 0  1 | 0
0 0 1  0 | 0
0 0 1  1 | 0
0 1 0  0 | 0
0 1 0  1 | 0
0 1 1  0 | 0
0 1 1  1 | 0
1 0 0  0 | 0
1 0 0  1 | 0
1 0 1  0 | 1
1 0 1  1 | 0
1 1 0  0 | 1
1 1 0  1 | 0
1 1 1  0 | 1
1 1 1  1 | 0

Он переводит условие в удобочитаемый формат в формат bash. (от AND до &&, от OR до ||, от NOT до ! и вокруг ( и ) установите пробел. Необходимо не злоупотреблять )) в eval.). Затем он собирает все уникальные переменные. Затем вычисляет размер таблицы истинности. Затем делает петлю для каждого ряда. Внутри этого цикла создается вложенный цикл для вычисления значения каждой переменной и установки этого значения. В конце основного цикла вычисляется значение выражения.

Это не пуленепробиваемый. Не используйте специальные переменные в именах переменных (DD=XX или A'B).

Ваш код bash устанавливает используемые переменные, а затем вызывает преобразованное условие (см. cond) в eval (см. последний eval), он правильно оценивает условие. Тогда переменную $r можно использовать в своих целях...

Надеюсь, это поможет!