C语言实现命题逻辑公式真值表生成器

以下是使用C语言实现五个常用逻辑联结词的基本功能，并完成命题变元P、Q、R的命题公式真值表设计的代码：

#include <stdio.h>

// 定义逻辑联结词的枚举类型
enum LogicConnective {
    AND,
    OR,
    NOT,
    IMPLIES,
    EQUIVALENT
};

// 定义命题变元的结构体
struct PropositionVariable {
    char symbol;
    int value;
};

// 定义命题公式的结构体
struct PropositionFormula {
    enum LogicConnective connective;
    struct PropositionVariable *variables;
    struct PropositionFormula *left;
    struct PropositionFormula *right;
};

// 初始化命题变元
void initVariables(struct PropositionVariable *variables, int size) {
    for (int i = 0; i < size; i++) {
        printf("请输入命题变元 ' %c ' 的取值（0或1）：", variables[i].symbol);
        scanf("%d", &(variables[i].value));
    }
}

// 判断逻辑联结词的类型
void printConnectiveType(enum LogicConnective connective) {
    switch (connective) {
        case AND:
            printf("逻辑联结词类型：合取\n");
            break;
        case OR:
            printf("逻辑联结词类型：析取\n");
            break;
        case NOT:
            printf("逻辑联结词类型：非\n");
            break;
        case IMPLIES:
            printf("逻辑联结词类型：蕴含\n");
            break;
        case EQUIVALENT:
            printf("逻辑联结词类型：等价\n");
            break;
        default:
            printf("未知的逻辑联结词类型\n");
            break;
    }
}

// 计算命题公式的真值
int calculateFormula(struct PropositionFormula *formula) {
    if (formula->connective == AND) {
        return calculateFormula(formula->left) && calculateFormula(formula->right);
    } else if (formula->connective == OR) {
        return calculateFormula(formula->left) || calculateFormula(formula->right);
    } else if (formula->connective == NOT) {
        return !calculateFormula(formula->left);
    } else if (formula->connective == IMPLIES) {
        return !calculateFormula(formula->left) || calculateFormula(formula->right);
    } else if (formula->connective == EQUIVALENT) {
        return (!calculateFormula(formula->left) || calculateFormula(formula->right))
                && (!calculateFormula(formula->right) || calculateFormula(formula->left));
    } else {
        return formula->variables->value;
    }
}

// 打印命题公式真值表
void printTruthTable(struct PropositionFormula *formula, struct PropositionVariable *variables, int size) {
    printf("命题公式真值表：\n");

    // 打印变元符号
    for (int i = 0; i < size; i++) {
        printf("' %c '	", variables[i].symbol);
    }
    printf("命题公式\t\n");

    // 打印分隔线
    for (int i = 0; i < size + 1; i++) {
        printf("--------");
    }
    printf("\n");

    // 打印真值表
    for (int i = 0; i < (1 << size); i++) {
        // 设置变元的取值
        for (int j = 0; j < size; j++) {
            variables[j].value = (i >> (size - 1 - j)) & 1;
        }

        // 打印变元的取值
        for (int j = 0; j < size; j++) {
            printf("%d\t", variables[j].value);
        }

        // 计算命题公式的真值
        int result = calculateFormula(formula);

        // 打印命题公式的真值
        printf("%d\n", result);
    }
}

int main() {
    // 定义命题变元
    struct PropositionVariable variables[3] = {
        {'P', 0},
        {'Q', 0},
        {'R', 0}
    };

    // 初始化命题变元的取值
    initVariables(variables, 3);

    // 定义命题公式
    struct PropositionFormula formula = {
        EQUIVALENT,
        variables,
        &((struct PropositionFormula) {IMPLIES, variables + 1, variables, variables + 2}),
        &((struct PropositionFormula) {OR, NULL, variables + 1, variables + 2})
    };

    // 打印逻辑联结词类型
    printConnectiveType(formula.connective);

    // 打印命题公式真值表
    printTruthTable(&formula, variables, 3);

    return 0;
}

使用该代码，可以根据用户的输入计算命题公式的真值表，并判断该公式的逻辑联结词类型。用户可以根据需要修改命题变元和命题公式，以实现不同的逻辑计算。