编程析取范式求主析取范式。。

最新推荐文章于 2023-04-06 23:14:05 发布

iylei

最新推荐文章于 2023-04-06 23:14:05 发布

阅读量6.2k

点赞数 10

分类专栏：数据结构文章标签：数学编程数据结构栈

本文链接：https://blog.csdn.net/iylei/article/details/40737357

版权

本文介绍如何使用编程方法，特别是栈数据结构，来求解离散数学中的析取范式到主析取范式。通过读取用户输入的命题公式，转换并计算其真值表，最终得到最小项，从而得到主析取范式。

摘要由CSDN通过智能技术生成

离散数学中析取范式如何通过计算机求主析取范式。其中一种办法就是用二维数组存储析取范式的真值表，然后代入命题公式，真值为T，就是它的最小项。其中会用到栈这种数据结构判断优先级。。

#include<iostream>
#include <cstdio>  
#include <cstdlib>
#include <string>
using namespace std;
template<class T>
class stack
{
private:
	int top;
	T *atr;
	int maxize;
public:
	stack(int size=0);
	~stack();
	bool IsFull();
	bool IsEmpty();
	void pop(T &item);
	void push(T &item);
	void clear();
	void GetTop(T &item);
};
class calculator
{
private:
	int number;
	int iN;
	string thz;
	char* min;
	int **p;
	string st1;
public:
	calculator();
	~calculator();
	void TheMin();
	void show();
};
template<class T>
stack<T>::stack(int size=0)
{
	maxize = size;
	atr = new T[maxize];
	top = -1;
}
template<class T>
stack<T>::~stack()
{
	delete[]atr;
}
template<class T>
bool stack<T>::IsFull()
{
	return top =&