求命题公式的主范式

输入：命题公式的合式公式

输出：公式的主析取范式和主析取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ; ”隔开，“ ; ”前后各有一个空格。 永真式的主合取范式为 1 ，永假式的主析取范式为 0 。

输入公式的符号说明：

! 非，相当于书面符号中的 “ ¬ ”

& 与，相当于书面符号中的 “ ∧ ”

| 或，相当于书面符号中的 “ ∨ ”

• 蕴含联结词，相当于书面符号中的 “ → ”

• 等价联结词，相当于书面符号中的 “ ↔ ”

( 前括号

) 后括号

思路：中缀运算式转后缀+暴力枚举

#include<iostream>
#include<cmath>
#include<stack>
#include<cstring>
#define N 1000
using namespace std;
stack<int>result;
stack<char>temp;
char c[N] = {
    0 }, final[N] = {
    0 };
int place_final = 0, len, i, j, num = 0, loop = 0, judge = 0;
int letter[26] = {
    0 }, explain[26] = {
    0 }, m[N] = {
    0 };
int priority(char m)//运算符优先级
{
   
	switch(m)
	{
   
		case '!': return 5;
		case '&': return 4;
		case '|': return 3;
		case '-': return 2;
		case '+': return 1;
		case '(': return 0;
	}
}
void postfix()//中缀转后缀
{
   
	scanf("%s", c);
	len = strlen(c);
	for (i = 0; i <