实现功能:输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式。
输入:命题公式的合式公式
输出:公式的主析取范式和主析取范式,输出形式为:“ mi ∨ mj ; Mi ∧ Mj” ,极小项和 ∨ 符号之间有一个空格,极大项和 ∧ 符号之间有一个空格;主析取范式和主合取范式之间用“ ; ”隔开,“ ; ”前后各有一个空格。 永真式的主合取范式为 1 ,永假式的主析取范式为 0 。
输入公式的符号说明:
! 非,相当于书面符号中的 “ ¬ ”
& 与,相当于书面符号中的 “ ∧ ”
| 或,相当于书面符号中的 “ ∨ ”
- 蕴含联结词,相当于书面符号中的 “ → ”
- 等价联结词,相当于书面符号中的 “ ↔ ”
( 前括号
) 后括号
主要思路:
1.转化为后缀表达式(去括号)
2.数一下有多少个不同的元素(字母),枚举的时候会用到
3.转化为二进制,用每一位代表一个字母的赋值
4.根据每种可能赋值计算结果并记录
注意:
永真式的主合取范式为 1 ,永假式的主析取范式为 0 。
#include <iostream>
#include <cstring>
#include <stack>
#include <cmath>
using namespace std;
char in[1000];
int order[30], value[30] = {
0 }, as[10000000] = {
0 }, cnt1 = 0, cnt2 = 0;
int priority(char op);
void RPN(int n);
int e_cnt();
int cal(int a, int b, char c);
int rpn_cal();
int main()
{
int ecnt, sum;
cin >> in;
RPN(strlen(in));//转换成后缀表达式
ecnt = e_cnt();//计算有几个元素
sum = pow(2, ecnt);//计算赋值上界
for (int i = 0; i < sum; i++)//枚举
{
int c = i;
memset(value, 0, sizeof(value));
for (int j = ecnt-1; j >=0; j--)
{
value[j] = c % 2;
c /= 2;
}
int res = rpn_cal();
if (res == 1)
{
as[i] = 1;
cnt1