求命题公式的主范式

该博客介绍如何求解命题公式的主合取范式和主析取范式。通过输入命题公式的合式公式,转换成后缀表达式,然后计算不同字母的赋值组合,得出真值表。主析取范式和主合取范式以特定格式输出,永真式主合取范式为1,永假式主析取范式为0。
摘要由CSDN通过智能技术生成

实现功能:输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式。

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

输出:公式的主析取范式和主析取范式,输出形式为:“ 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
为了帮助你更好地理解,我会先解释一下命题公式析取范式合取范式的概念。 命题公式是由命题符号、联结词和括号组成的符号串。其中,命题符号表示某个命题,联结词表示命题之间的逻辑关系,括号用于确定逻辑运算的优先级。 析取范式是指将一个命题公式化为若干个合取范式的析取。合取范式是指由若干个命题合取而成的命题公式合取范式是指将一个命题公式化为若干个析取范式的合取。析取范式是指由若干个命题析取而成的命题公式。 现在,我们来看一个例子:命题公式为 $(p \land q) \lor (\neg p \land r)$。 析取范式解方法: 1. 将命题公式转化为合取范式,即 $(p\lor \neg p)\land (p\lor r)\land (q\lor \neg p)\land (q\lor r)$。 2. 将合取范式中的每个命题都化为若干个命题的析取形式,得到析取范式为 $(p\land q)\lor (p\land r)\lor (\neg p \land q)\lor (\neg p \land r)$。 合取范式解方法: 1. 将命题公式转化为析取范式,即 $(p\lor \neg p)\land (p\lor q)\land (\neg p\lor r)\land (q\lor r)$。 2. 将析取范式中的每个命题都化为若干个命题的合取形式,得到合取范式为 $(p\land q\land r)\lor (\neg p\land q\land r)$。 因此,该命题公式析取范式为 $(p\land q)\lor (p\land r)\lor (\neg p \land q)\lor (\neg p \land r)$,合取范式为 $(p\land q\land r)\lor (\neg p\land q\land r)$。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值