C加加编写程序，构造任意一个含有3个命题变元的命题公式的真值表，利用真值表求该命题公式的主范式。 (=,,1.&,1,分别表示双条件、单条件、析取、合取，取反)

在C++中编写程序来构造并求解含有3个命题变元的命题公式真值表以及其主范式，通常需要使用布尔代数的概念。这里是一个简单的步骤描述：

1. 定义变量：首先，你需要定义3个变元（比如A、B和C），它们可以代表二进制的0（假）或1（真）。你可以使用整型变量来模拟。

int A, B, C; // 三个命题变元

2. 构造公式：然后，你可以创建一个函数来生成所有的组合，并表示不同的逻辑运算。例如，你可以创建一个函数`getFormula()`来构建各种命题公式，如双条件、单条件、析取和合取。

bool getFormula(int p, int q, int r) {
    switch (p) {
        case 0: return A && B && C;
        case 1: return A || B || C;
        // ... 添加其他情况，如 & 和 ^
    }
}

3. 真值表：接下来，你需要遍历所有可能的输入组合（即A、B、C的二进制值），并计算每个公式的真值。

4. 主范式：主范式（Conjunctive Normal Form, CNF）是一种表达形式，其中所有项都是合取（AND）操作，而所有层都由析取（OR）操作组成。如果公式已经处于CNF，那么就是其主范式；如果不是，可能需要将其转换，但这超出了基础的C++处理范围。一般而言，这涉及到复杂的算法，比如Tseitin变换。

5. 输出结果：最后，你可以在控制台上打印出每个输入及其对应的公式结果，以及判断是否为主范式。

请注意，上述代码仅给出了基本框架，实际编写时还需要处理错误检查、边界情况和可能的性能优化。如果你需要更详细的实现，可能需要查阅相关的布尔代数库或者学习一些布尔逻辑和算法知识。下面是部分示例代码：

// 示例代码，不包含完整转换至主范式的部分
for (int A = 0; A <= 1; ++A)
    for (int B = 0; B <= 1; ++B)
        for (int C = 0; C <= 1; ++C) {
            bool formulaValue = getFormula(p, q, r);
            std::cout << "A=" << A << ", B=" << B << ", C=" << C << ": " << formulaValue << "\n";
            // 检查并记录主范式（这部分需要额外的库或算法）
        }