C语言实现命题逻辑运算：真值表生成与公式类型判定

本代码用C语言实现五个常用的逻辑联结词（与、或、非、蕴含、等价）的基本功能。用户可输入由三个命题变元P、Q、R组成的命题公式，代码将生成真值表，并判断该命题公式的类型（永真式、不可满足式、可满足式）。

#include <stdio.h>

// 定义逻辑联结词的枚举类型
typedef enum {
    AND,
    OR,
    NOT,
    IMPLY,
    EQUIV
} LogicOperator;

// 计算逻辑联结词的函数
int calculate(int p, int q, int r, LogicOperator op) {
    int result;
    switch(op) {
        case AND:
            result = p && q && r;
            break;
        case OR:
            result = p || q || r;
            break;
        case NOT:
            result = !p;
            break;
        case IMPLY:
            result = (!p) || q;
            break;
        case EQUIV:
            result = (p == q) && (q == r);
            break;
    }
    return result;
}

// 打印真值表和判断命题公式类型的函数
void printTruthTable(int p, int q, int r, LogicOperator op) {
    printf('P	Q	R	Result\n');
    printf('%d	%d	%d	%d\n', p, q, r, calculate(p, q, r, op));
}

int main() {
    int p, q, r;
    LogicOperator op;
    
    while(1) {
        // 用户输入命题公式的值
        printf('请输入P、Q、R的值（以空格分隔）：');
        scanf('%d %d %d', &p, &q, &r);
        
        printf('请选择逻辑联结词（0: AND, 1: OR, 2: NOT, 3: IMPLY, 4: EQUIV）：');
        int opChoice;
        scanf('%d', &opChoice);
        op = (LogicOperator)opChoice;
        
        // 打印真值表
        printf('真值表：\n');
        printTruthTable(p, q, r, op);
        
        // 判断命题公式类型
        int allTrue = 1, allFalse = 1;
        for(int i = 0; i < 2; i++) {
            for(int j = 0; j < 2; j++) {
                for(int k = 0; k < 2; k++) {
                    int result = calculate(i, j, k, op);
                    if(result == 0) {
                        allTrue = 0;
                    } else {
                        allFalse = 0;
                    }
                }
            }
        }
        
        if(allTrue) {
            printf('该命题公式是永真式。\n');
        } else if(allFalse) {
            printf('该命题公式是不可满足式。\n');
        } else {
            printf('该命题公式是可满足式。\n');
        }
        
        // 询问用户是否继续输入命题公式
        printf('是否继续输入命题公式？（1: 是, 0: 否）：');
        int continueChoice;
        scanf('%d', &continueChoice);
        if(continueChoice == 0) {
            break;
        }
    }
    
    return 0;
}

代码说明：

枚举类型：LogicOperator 枚举类型定义了五个逻辑联结词：AND、OR、NOT、IMPLY、EQUIV。
calculate 函数：该函数根据逻辑联结词和命题变元的值计算结果。
printTruthTable 函数：该函数打印真值表，并调用 calculate 函数计算每个组合的结果。
main 函数：
- 使用 while 循环让用户可以多次输入命题公式。
- 用户输入命题变元 P、Q、R 的值，以及选择的逻辑联结词。
- 调用 printTruthTable 函数打印真值表。
- 根据真值表判断命题公式的类型：永真式、不可满足式或可满足式。
- 询问用户是否继续输入命题公式。

运行示例：

用户输入 P=1，Q=0，R=1，选择逻辑联结词 IMPLY，程序将输出以下结果：

真值表：
P	Q	R	Result
1	0	1	1
该命题公式是可满足式。

总结：

本代码提供了一个简单易懂的 C语言实现命题逻辑运算的示例。用户可根据需要修改或扩展该代码，例如：

增加对更多逻辑联结词的支持。
支持更复杂的命题公式，例如包含括号和嵌套的公式。
将真值表输出到文件中。
实现自动生成命题公式的功能。

希望本代码能帮助您更好地理解和应用命题逻辑。