离散数学求命题公式的主范式

最新推荐文章于 2024-11-15 14:15:44 发布

原创

最新推荐文章于 2024-11-15 14:15:44 发布 · 8.4k 阅读

47 ·

CC 4.0 BY-SA版权

实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。
输入：命题公式的合式公式
输出：公式的主析取范式和主析取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ; ”隔开，“ ; ”前后各有一个空格。永真式的主合取范式为 1 ，永假式的主析取范式为 0 。
输入公式的符号说明：
! 非，相当于书面符号中的 “ ¬ ”
& 与，相当于书面符号中的 “ ∧ ”
| 或，相当于书面符号中的 “ ∨ ”
- 蕴含联结词，相当于书面符号中的 “ → ”
+ 等价联结词，相当于书面符号中的 “ ↔ ”
( 前括号

) 后括号

#include <cstdio>
#include <cstring>
#include <cmath>
#define N 1000
#define MAX 10000000
char s[N];
bool table[30];
int explain[30];
int value[MAX];
int sum = 0;
int priority(char c)
{
	switch (c)
	{
		case '#': return -1;
		case '!': return 5;
		case '&': return 4;
		case '|': return 3;
		case '-': return 2;
		case '+': return 1;
		case '(': return 0;
		default: return 0;
	}
}
void postfix()
{
	char post[N] = { '\0' };
	int pp = -1;
	char stack[N] = { '#' };
	int ps = 0;

	int len = strlen(s);
	for (int i = 0; i < len; i++)
	{