用c语言输入波兰表达式，求出公式类型

如果您想用C语言来输入波兰表达式，并判断其公式类型，可以通过解析表达式中的符号来判断。以下是一个简单的C语言程序，可以实现输入波兰表达式并判断其公式类型：

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

int isProposition(char c) { // 判断字符是否为命题符号
    return (c >= 'a' && c <= 'z') || (c >= 'A' && c <= 'Z');
}

int isNegation(char c) { // 判断字符是否为否定符号
    return c == '~';
}

int isConjunction(char c) { // 判断字符是否为合取符号
    return c == '&';
}

int isDisjunction(char c) { // 判断字符是否为析取符号
    return c == '|';
}

int isImplication(char c) { // 判断字符是否为蕴含符号
    return c == '-';
}

int isEquivalence(char c) { // 判断字符是否为等价符号
    return c == '=';
}

int isPropositionalFormula(char *expr) { // 判断是否为命题公式
    int len = strlen(expr);
    int i = 0, j = 0, k = 0;
    int isPropositional = 1;
    while (i < len) {
        if (isProposition(expr[i])) { // 命题符号
            j++;
        } else if (isNegation(expr[i])) { // 否定符号
            if (i == len - 1 || !isProposition(expr[i+1])) {
                isPropositional = 0;
                break;
            }
            i++;
        } else if (isConjunction(expr[i]) || isDisjunction(expr[i])) { // 合取/析取符号
            if (j < 2 || k) {
                isPropositional = 0;
                break;
            }
            j--;
        } else if (isImplication(expr[i]) || isEquivalence(expr[i])) { // 蕴含/等价符号
            if (j < 2 || k) {
                isPropositional = 0;
                break;
            }
            i++;
            j--;
        } else {
            isPropositional = 0;
            break;
        }
        i++;
    }
    if (j != 1 || k) {
        isPropositional = 0;
    }
    return isPropositional;
}

int main() {
    char expr[100];
    printf("请输入波兰表达式：");
    scanf("%s", expr);
    if (isPropositionalFormula(expr)) {
        printf("命题公式\n");
    } else {
        printf("不是命题公式\n");
    }
    return 0;
}

在这个程序中，我们定义了六个函数来判断波兰表达式中的符号类型。其中 `isProposition()` 用于判断是否为命题符号，`isNegation()` 用于判断是否为否定符号，`isConjunction()` 和 `isDisjunction()` 分别用于判断是否为合取符号和析取符号，`isImplication()` 和 `isEquivalence()` 分别用于判断是否为蕴含符号和等价符号。

我们还定义了一个 `isPropositionalFormula()` 函数来判断波兰表达式是否为命题公式。该函数依次遍历表达式中的每个符号，根据命题公式的定义来判断表达式的公式类型。如果表达式不符合命题公式的定义，则返回0，否则返回1。

在 `main()` 函数中，我们先输入波兰表达式，然后调用 `isPropositionalFormula()` 函数来判断其公式类型。如果返回1，则输出 "命题公式"，否则输出 "不是命题公式"。