用C写的离散上级作业,/笛卡尔积序偶简单矩阵输出输出/给定一个命题公式, 可以求出该公式的主吸取范式和主合取范式