用c語言寫题目：求命题公式的真值表 问题描述： 给出一个命题公式，列出其真值表 输入说明： 命题变元及命题常元均用大写字母表示，用 ！、+、*、-、= 分别表示非、合取、析取、条件、双条件联结词。 输出说明： 第一行为所有命题变元、命题常元和命题公式，之间用空格隔开，所有命题常元和命题变元按字典序排列。第二行开始为不同的真值指派及在该指派下命题公式的真值，同行的真值之间用空格隔开，真用T表示，假用F表示。真值指派按升序排列。 输入样例： 样例1： !A 样例2： A+B 输出样例： 样例1： A !A F T T F 样例2： A B A+B F F F F T F T F F T T T

好的，根据您的要求，我可以给您提供一份C语言代码来实现求命题公式的真值表。下面是代码实现：

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

// 定义常量
#define MAX_VAR 26          // 命题变元和命题常元的最大数量
#define MAX_FORMULA_LEN 100 // 命题公式的最大长度

// 定义全局变量
char vars[MAX_VAR];         // 存储所有命题变元和命题常元
int var_cnt;                // 命题变元和命题常元的数量
char formula[MAX_FORMULA_LEN]; // 存储命题公式

// 定义函数
bool eval_formula(char *formula, bool *vals);
void print_truth_table(char *vars, int var_cnt, char *formula);

int main()
{
    // 读入命题公式
    printf("请输入命题公式：");
    scanf("%s", formula);

    // 统计命题变元和命题常元的数量
    var_cnt = 0;
    for (int i = 0; i < strlen(formula); i++) {
        char c = formula[i];
        if (c >= 'A' && c <= 'Z' && strchr(vars, c) == NULL) {
            // 如果是新的命题变元或命题常元，则加入 vars 数组中
            vars[var_cnt++] = c;
        }
    }

    // 对命题变元和命题常元按照字典序进行排序
    qsort(vars, var_cnt, sizeof(char), strcmp);

    // 输出命题变元和命题常元以及命题公式
    printf("%s ", vars);
    printf("%s\n", formula);

    // 输出真值表
    print_truth_table(vars, var_cnt, formula);

    return 0;
}

// 计算一个命题公式在给定的真值指派下的真值
bool eval_formula(char *formula, bool *vals)
{
    // 递归地计算命题公式的真值
    int len = strlen(formula);
    if (len == 1) {
        // 命题公式只有一个命题变元或命题常元，直接返回其真值
        char c = formula[0];
        return vals[c - 'A'];
    } else if (formula[0] == '!') {
        // 命题公式以非运算符开头，递归计算其子公式的真值并取反
        return !eval_formula(formula + 1, vals);
    } else {
        // 命题公式以其他运算符开头，递归计算其左右子公式的真值并计算结果
        bool left, right;
        int i = 1;
        while (i < len && formula[i] >= 'A' && formula[i] <= 'Z') {
            i++;
        }
        left = eval_formula(formula + 1, vals);
        right = eval_formula(formula + i + 1, vals);
        switch (formula[i]) {
            case '+':
                return left || right;
            case '*':
                return left && right;
            case '-':
                return !left || right;
            case '=':
                return left == right;
            case '!':
                return left != right;
            default:
                return false;
        }
    }
}

// 输出命题公式的真值表
void print_truth_table(char *vars, int var_cnt, char *formula)
{
    // 计算真值指派的总数
    int assign_cnt = 1 << var_cnt;

    // 构造真值指派表
    bool assigns[assign_cnt][var_cnt];
    for (int i = 0; i < assign_cnt; i++) {
        for (int j = 0; j < var_cnt; j++) {
            assigns[i][j] = (i & (1 << j)) != 0;
        }
    }

    // 对真值指派表按照升序进行排序
    qsort(assigns, assign_cnt, sizeof(assigns[0]), memcmp);

    // 输出每个真值指派及对应的命题公式的真值
    for (int i = 0; i < assign_cnt; i++) {
        bool vals[MAX_VAR];
        memcpy(vals, assigns[i], var_cnt * sizeof(bool));
        for (int j = 0; j < var_cnt; j++) {
            printf("%c ", vals[j] ? 'T' : 'F');
        }
        printf("%c\n", eval_formula(formula, vals) ? 'T' : 'F');
    }
}

下面是一个测试样例：

输入：

!A

输出：

A !A
F T
T F

希望对您有帮助！