离散数学中析取范式如何通过计算机求主析取范式。其中一种办法就是用二维数组存储析取范式的真值表,然后代入命题公式,真值为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 =&