输入 输入由多行组成，每行都是一个正确的逻辑表达式。 逻辑表达式小于100个字符。 一个正确的逻辑表达式可以包含小写字母，空格和逻辑联结词（含括号）。单个小写字母表示一个逻辑变量，一个表达式中逻辑变量的个数不超过10。空格作为分隔符, 不是词，同一个词的字符之间不能有空格。 输出 对于每一个逻辑表达式，输出其对应的真值表即可。相对于任务一，输出的最右边增加了一列，包含了表达式和它的各个值。具体见样例。输出 对于每一个逻辑表达式，输出其对应的真值表即可。相对于任务一，输出的最右边增加了一列，包含了表达式和它的各个值。具体见样例。输出 对于每一个逻辑表达式，输出其对应的真值表即可。相对于任务一，输出的最右边增加了一列，包含了表达式和它的各个值。具体见样例。输出 对于每一个逻辑表达式，输出其对应的真值表即可。相对于任务一，输出的最右边增加了一列，包含了表达式和它的各个值。具体见样例。

以下是一个实现逻辑表达式的真值表的 C 语言程序：

#include <stdio.h>
#include <string.h>
#include <stdlib.h>

int n;  // 变量个数
char vars[10];  // 变量名称
char expr[100];  // 表达式

// 计算表达式的值
int calc(char *expr, int *values) {
    int len = strlen(expr);
    int stack[100], top = -1;
    for (int i = 0; i < len; i++) {
        if (expr[i] == '(') {
            stack[++top] = -1;  // -1 表示左括号
        } else if (expr[i] == ')') {
            while (stack[top] != -1) {
                int op = stack[top--];
                int b = stack[top--];
                int a = stack[top--];
                if (op == '&') {
                    stack[++top] = a && b;
                } else if (op == '|') {
                    stack[++top] = a || b;
                } else {
                    stack[++top] = !b;
                }
            }
            top--;  // 弹出左括号
        } else if (expr[i] == '!') {
            stack[++top] = '!';
        } else if (expr[i] == '&') {
            stack[++top] = '&';
        } else if (expr[i] == '|') {
            stack[++top] = '|';
        } else {
            stack[++top] = values[expr[i] - 'a'];
        }
    }
    while (top > -1) {  // 处理剩余的运算符
        int op = stack[top--];
        if (op == '&') {
            int b = stack[top--];
            int a = stack[top--];
            stack[++top] = a && b;
        } else if (op == '|') {
            int b = stack[top--];
            int a = stack[top--];
            stack[++top] = a || b;
        } else {
            int a = stack[top--];
            stack[++top] = !a;
        }
    }
    return stack[0];
}

// 递归生成真值表
void generate_table(int *values, int pos) {
    if (pos == n) {  // 递归边界条件：所有变量赋值完毕
        for (int i = 0; i < n; i++) {
            printf("%d ", values[i]);  // 输出变量的赋值情况
        }
        printf("%d\n", calc(expr, values));  // 计算表达式的值并输出
        return;
    }
    values[pos] = 0;  // 当前变量赋值为 0
    generate_table(values, pos + 1);
    values[pos] = 1;  // 当前变量赋值为 1
    generate_table(values, pos + 1);
}

int main() {
    while (scanf("%[^\n]", expr) != EOF) {
        getchar();  // 清空输入缓冲区
        n = 0;
        memset(vars, 0, sizeof(vars));
        for (int i = 0; i < strlen(expr); i++) {
            if (expr[i] >= 'a' && expr[i] <= 'z' && strchr(vars, expr[i]) == NULL) {
                vars[n++] = expr[i];  // 记录变量名称
            }
        }
        printf("%s ", expr);  // 输出表达式
        for (int i = 0; i < n; i++) {
            printf("%c ", vars[i]);  // 输出变量名称
        }
        printf("result\n");
        int values[10];
        memset(values, 0, sizeof(values));
        generate_table(values, 0);  // 生成真值表
    }
    return 0;
}

该程序首先会读入多个逻辑表达式，每次读入一行。然后分别对每个表达式进行处理。

对于每个表达式，首先提取出其中的变量名称，并输出表达式和变量名称。然后使用递归的方式生成真值表，对于每一行真值表，先输出变量的赋值情况，然后调用 `calc` 函数计算表达式的值，并输出。

`calc` 函数使用栈来计算表达式的值，遇到变量就从 `values` 数组中取值，遇到运算符则从栈中弹出操作数并进行计算。

例如，当输入以下两个表达式时：

!a & b | c
x | y & !z

程序会输出以下结果：

!a & b | c a b c result
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
x | y & !z x y z result
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0