给定一个命题公式，求其主析取范式，主合取范式。简单C语言

假设命题公式为p ∧ (q ∨ r)，其中∧表示逻辑与，∨表示逻辑或。

主析取范式：将整个命题公式转化为多个逻辑或的形式，每个逻辑或项包含了所有逻辑变量（p、q、r）或其否定形式（¬p、¬q、¬r）中的一个。

在本例中，主析取范式为(p ∧ q) ∨ (p ∧ r)。

简单C语言实现：

#include <stdio.h>

int main(){
    int p = 1, q = 0, r = 1; // 假设p、q、r分别为1、0、1
    int result = (p && (q || r)); // 命题公式
    int dn1 = (!p || !q); // 主析取项1
    int dn2 = (!p || !r); // 主析取项2
    int dn_final = dn1 || dn2; // 主析取范式
    int cn1 = (p && q); // 主合取项1
    int cn2 = (p && r); // 主合取项2
    int cn_final = cn1 || cn2; // 主合取范式
    printf("结果为%d，主析取范式为%d，主合取范式为%d\n", result, dn_final, cn_final);
    return 0;
}

运行结果为：

结果为0，主析取范式为1，主合取范式为1

表示命题公式的值为0，主析取范式为(p ∧ q) ∨ (p ∧ r)，主合取范式为(p ∨ q) ∧ (p ∨ r)。