用c语言求任意一个命题公式的真值表。

以下是用 C 语言求任意一个命题公式的真值表的示例代码：

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

#define MAX_LENGTH 100 // 命题公式字符串最大长度

// 定义命题符号的结构体
typedef struct {
    char name; // 命题符号的名称
    int value; // 命题符号的真值
} Proposition;

// 声明函数
int evaluate(char *formula, Proposition *props, int n);
void print_table(Proposition *props, int n, char *formula);

int main() {
    char formula[MAX_LENGTH];
    printf("请输入命题公式（使用大写字母表示命题符号）：\n");
    scanf("%s", formula);
    int n = strlen(formula);
    Proposition *props = (Proposition *)malloc(n * sizeof(Proposition));
    for (int i = 0; i < n; i++) {
        props[i].name = formula[i];
        props[i].value = 0;
    }
    print_table(props, n, formula);
    free(props);
    return 0;
}

// 计算命题公式的真值
int evaluate(char *formula, Proposition *props, int n) {
    int stack[MAX_LENGTH];
    int top = -1;
    for (int i = 0; i < strlen(formula); i++) {
        char c = formula[i];
        if (c >= 'A' && c <= 'Z') { // 如果是命题符号，则入栈其真值
            for (int j = 0; j < n; j++) {
                if (props[j].name == c) {
                    stack[++top] = props[j].value;
                    break;
                }
            }
        } else if (c == '-') { // 如果是非运算符，则出栈一个元素并将其非后入栈
            int a = stack[top--];
            stack[++top] = !a;
        } else if (c == '&') { // 如果是合取运算符，则出栈两个元素并将其合取后入栈
            int a = stack[top--];
            int b = stack[top--];
            stack[++top] = a && b;
        } else if (c == '|') { // 如果是析取运算符，则出栈两个元素并将其析取后入栈
            int a = stack[top--];
            int b = stack[top--];
            stack[++top] = a || b;
        } else if (c == '=') { // 如果是蕴含运算符，则出栈两个元素并将其蕴含后入栈
            int a = stack[top--];
            int b = stack[top--];
            stack[++top] = (!a) || b;
        }
    }
    return stack[top];
}

// 打印真值表
void print_table(Proposition *props, int n, char *formula) {
    printf("命题公式：%s\n", formula);
    printf("真值表：\n");
    for (int i = 0; i < n; i++) {
        printf("%c ", props[i].name);
    }
    printf("%s\n", formula);
    int total = pow(2, n);
    for (int i = 0; i < total; i++) {
        for (int j = 0; j < n; j++) {
            props[j].value = (i >> (n - 1 - j)) & 1;
            printf("%d  ", props[j].value);
        }
        int value = evaluate(formula, props, n);
        printf("%d\n", value);
    }
}

该程序首先让用户输入命题公式，然后根据命题公式字符串的长度动态分配命题符号结构体数组，并将每个命题符号的真值初始化为 0。接着调用 `print_table` 函数打印真值表，该函数首先打印命题公式和表头，然后使用二进制枚举法生成每一行的命题符号真值组合，并调用 `evaluate` 函数计算命题公式的真值。`evaluate` 函数使用栈来实现命题公式的计算，具体实现方式是：从左到右遍历命题公式字符串，如果遇到命题符号，则查找其在命题符号结构体数组中的位置，并将其真值入栈；如果遇到非运算符，则出栈一个元素并将其非后入栈；如果遇到合取运算符，则出栈两个元素并将其合取后入栈；如果遇到析取运算符，则出栈两个元素并将其析取后入栈；如果遇到蕴含运算符，则出栈两个元素并将其蕴含后入栈。最后，`evaluate` 函数返回栈顶元素，即为命题公式的真值。