你能不能帮我用C++写一个离散数学求主合取范式的程序

好的，以下是一个用C语言编写的离散数学求主合取范式的程序。

程序主要分为两个函数，一个是输入真值表的函数，另一个是求主合取范式的函数。主要思路是根据真值表中为1的项，将其转化为逻辑表达式的形式，再将这些表达式用“∧”连接起来，得到主合取范式。具体实现细节见代码注释。

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

#define MAX_VAR 10 // 最大变量数
#define MAX_ROW 1024 // 最大真值表行数

void get_truth_table(int table[][MAX_VAR+1], int n_var, int n_row);
void get_main_conjunctive(int table[][MAX_VAR+1], int n_var, int n_row);

int main()
{
    int n_var, n_row;
    int truth_table[MAX_ROW][MAX_VAR+1]; // 真值表

    printf("请输入变量数：");
    scanf("%d", &n_var);
    printf("请输入真值表行数：");
    scanf("%d", &n_row);

    get_truth_table(truth_table, n_var, n_row); // 输入真值表
    get_main_conjunctive(truth_table, n_var, n_row); // 求主合取范式

    return 0;
}

// 输入真值表
void get_truth_table(int table[][MAX_VAR+1], int n_var, int n_row)
{
    int i, j;

    printf("请输入真值表：\n");
    for (i = 0; i < n_row; i++) {
        printf("第%d行：", i+1);
        for (j = 0; j < n_var+1; j++) {
            scanf("%d", &table[i][j]);
        }
    }
}

// 求主合取范式
void get_main_conjunctive(int table[][MAX_VAR+1], int n_var, int n_row)
{
    int i, j, k;
    char var[MAX_VAR][2]; // 变量名

    // 初始化变量名
    for (i = 0; i < n_var; i++) {
        sprintf(var[i], "%c", 'A'+i);
    }

    // 对于每个为1的项，转化为逻辑表达式形式
    for (i = 0; i < n_row; i++) {
        if (table[i][n_var] == 1) { // 如果该项为1
            char exp[MAX_VAR*3+1] = {0}; // 逻辑表达式
            for (j = 0; j < n_var; j++) {
                if (table[i][j] == 0) { // 如果该变量为0，则表达式为“~变量”
                    strcat(exp, "~");
                }
                strcat(exp, var[j]);
                strcat(exp, "∧"); // 用“∧”连接变量
            }
            exp[strlen(exp)-1] = '\0'; // 去掉最后一个“∧”
            printf("%s ", exp); // 输出该表达式
        }
    }

    printf("\n");
}

使用方法：
1. 运行程序后，输入变量数和真值表行数。
2. 输入真值表，每行依次输入各个变量和对应的函数值（0或1）。
3. 程序将输出主合取范式。

注意事项：
1. 程序中的“∧”是Unicode字符，可以在网上找到对应的代码输入。
2. 程序中使用了字符串拼接函数strcat，需要包含头文件string.h。