使用c++编写一个求逻辑表达式的真值表的代码，包含以下连接词：( )、!、∧、||、->、<->，输入由多行组成，每行都是一个正确的逻辑表达式。 逻辑表达式小于100个字符。 一个正确的逻辑表达式可以包含小写字母，空格和逻辑联结词（含括号）。单个小写字母表示一个逻辑变量，一个表达式中逻辑变量的个数不超过10。空格作为分隔符, 不是词，同一个词的字符之间不能有空格。每一个逻辑表达式产生如下的输出： 第一行按顺序输出表达式中的所有词。每个词之间用空格分开。 第二行按字母序输出表达式中的所有逻辑变量，用空格分开。 第三行开始输出逻辑变量值的所有组合情况。

以下是一个使用 C++ 编写的求多个逻辑表达式真值表的程序示例，包含以下连接词：( )、!、∧、||、->、<->：

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

// 定义逻辑运算函数
int AND(int a, int b) {
    return a && b;
}
int OR(int a, int b) {
    return a || b;
}
int NOT(int a) {
    return !a;
}
int IMPLIES(int a, int b) {
    return !a || b;
}
int IFF(int a, int b) {
    return a == b;
}

// 获取表达式中的逻辑变量
vector<char> getVariables(string expr) {
    vector<char> vars;
    for (char c : expr) {
        if (islower(c) && find(vars.begin(), vars.end(), c) == vars.end()) {
            vars.push_back(c);
        }
    }
    sort(vars.begin(), vars.end());
    return vars;
}

// 输出逻辑变量的所有组合情况
void printVariableCombinations(vector<char> vars) {
    int n = vars.size();
    for (int i = 0; i < pow(2, n); i++) {
        for (int j = n - 1; j >= 0; j--) {
            cout << ((i >> j) & 1) << " ";
        }
        cout << "\n";
    }
}

int main() {
    string expr;
    while (getline(cin, expr)) {
        vector<string> tokens;
        vector<char> vars;
        string token;
        // 分割表达式为单词
        for (char c : expr) {
            if (isalpha(c)) {
                token += c;
            } else if (token != "") {
                tokens.push_back(token);
                token = "";
            }
            if (c == '(' || c == ')' || c == '!' || c == '&' || c == '|' || c == '-' || c == '<' || c == '>') {
                tokens.push_back(string(1, c));
            }
        }
        if (token != "") {
            tokens.push_back(token);
        }
        // 获取逻辑变量
        vars = getVariables(expr);
        // 输出单词和逻辑变量
        for (string t : tokens) {
            cout << t << " ";
        }
        cout << "\n";
        for (char v : vars) {
            cout << v << " ";
        }
        cout << "\n";
        // 输出逻辑变量的所有组合情况
        printVariableCombinations(vars);
    }
    return 0;
}

在这个程序中，我们定义了五个函数，分别代表逻辑与、逻辑或、逻辑非、蕴含和等价运算。然后对每个输入的逻辑表达式进行处理，分割表达式为单词，获取逻辑变量，输出单词和逻辑变量，最后输出逻辑变量的所有组合情况。这个程序可以根据需要进行修改，以适应不同的逻辑表达式。