用字符串中的字符替换为其值？

Question

我有一个给定的字符串（a+b）＆amp;（a+c），并且创建了一个带有a，b和c值的真相表。现在，问题是通过用真实表中的相应值替换A，B和C来评估逻辑表达式。如何在C中完成？

ex：a = 0 b = 0 c = 0 r =（0+0）＆amp;（0+）= 0 a = 0 b = 0 c = 1 r =（0+0）＆amp;（0+1）= 0 等等

代码本身看起来像这样

#include <stdio.h>
#include <stdlib.h>
int main()
{
    char c,* str, *vars, **result;
    int i=0,count=0,j=0;
    unsigned long long rows;
    str = (char*) malloc(1*sizeof(char));
    vars=(char*) malloc(1*sizeof(char));
    result=(char**)malloc(1*sizeof(char));
    char values[] = {'F', 'T'};

    while ((c = getchar()) != EOF)
    {
        str[i++] = c;
        str = (char*) realloc(str, (i+1) * sizeof(char));
        if (c >= 'a' && c <= 'z')
        {
            vars[j++]=c;
            vars=(char*) realloc(vars,(j+1)*sizeof(char));
            count++;
        }
    }
    rows=1ULL<<(count);
    result=(char**)realloc(result,(rows+2)*sizeof(char));

    for (i = 0; i < rows+1; i++)
    {
        result[i]=(char*)malloc(sizeof(char)*(count+1));
        for (j = 0; j < count; j++)
        {
            if(i==0)
                result[i][j]=vars[j];
            else
                result[i][j]=values[(i >> j) & 1];
        }
    }

    result[0][count]='R';

    for(i=0;i<rows+1;i++)
    {
        for(j=0;j<count+1;j++)
        {
            //do something
        }

    }

Answer 1

现在问题是通过用真实表中的相应值替换A，B和C来评估逻辑表达式。

除了问题评论中提到的问题外，仅替换 无法评估逻辑表达式。例如，在评估表达式时替换值。 （您没有指定表达式的一般语法，因此我选择支持使用的运算符和较低的案例变量的组合。）

#include <ctype.h>
#include <string.h>

int indx(char *s, char c) { return strchr(s, c)-s; }

char *gstr, *gvars, *vals;  // expression string, variables, value combination

char eval()
{   // evaluate expression "gstr"
    char or = 0;    // neutral element of +
    do
    {
        char and = 1;   // neutral element of &
        do
        {
            char c = *gstr++;   // get next token
            if (islower(c))
                and &= indx("FT", vals[indx(gvars, c)]);
            else
            if (c == '(')
            {   // evaluate subexpression
                and &= eval();
                c = *gstr++;    // get next token
                if (c != ')')
                    printf("error at '%c': expected ')'\n", c), exit(1);
            }
            else
                printf("error at '%c'\n", c), exit(1);
        } while (*gstr == '&' && ++gstr);
        or |= and;
    } while (*gstr == '+' && ++gstr);
    return or;
}

可以从您的main（插入代码，因此，都可以调用它不一致的间距）

    result[0][count]='R';
    gvars = vars;   // make variable names globally accessible
    for (i = 1; i <= rows; ++i)
    {
        gstr = str, vals = result[i],   // globally accessible
        result[i][count] = values[eval()];
        while (isspace(*gstr)) ++gstr;
        if (*gstr)
            printf("error at '%c': expected end of input\n", *gstr), exit(1);
    }

    for(i=0;i<rows+1;i++)
    {
        for(j=0;j<count+1;j++)
        {
            putchar(result[i][j]);
        }
        putchar('\n');
    }

（不要忘记将str [i] ='\ 0';在您的getchar循环中进行。）请注意由于循环计数的给定，真实表条目的顺序有些不寻常，因为所有变量的行f是最后的。