用真值表判断p和q两个逻辑表达式是否逻辑相等C++代码

以下是一个 C++ 代码示例，用于测试两个逻辑表达式是否逻辑相等：

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

bool test_logic_equivalence(string p, string q) {
    // 构建真值表
    vector<pair<bool, bool>> truth_table = {{true, true}, {true, false}, {false, true}, {false, false}};

    // 计算p和q在各种真值下的结果
    vector<bool> p_results, q_results;
    for (auto [p_val, q_val] : truth_table) {
        bool p_result = eval(p, p_val, q_val);
        bool q_result = eval(q, p_val, q_val);
        p_results.push_back(p_result);
        q_results.push_back(q_result);
        if (p_result != q_result) {
            return false;
        }
    }

    // 判断p和q是否逻辑相等
    return true;
}

int main() {
    string p = "p AND q";
    string q = "NOT(NOT p) OR NOT(NOT q)";
    if (test_logic_equivalence(p, q)) {
        cout << "p and q are logically equivalent!" << endl;
    } else {
        cout << "p and q are not logically equivalent." << endl;
    }
    return 0;
}

这个程序和前面的程序类似，但没有使用递归函数 `eval`。相反，它在真值表中遍历每个可能值，并计算 `p` 和 `q` 在该值下的结果。如果在任何一个真值下，`p` 和 `q` 的结果不同，则程序返回 `false`，表示它们不逻辑相等。否则，程序返回 `true`，表示它们逻辑相等。

注意，为了简化代码，这个程序假设输入的逻辑表达式中只包含变量 `p` 和 `q`，以及四种联接词：与，或，非，条件。如果输入的表达式包含其他运算符或函数，则需要使用更复杂的解析器。