真值表生成C++
离散数学使用C++实现真值表的生成
说明： !（否定）、 *（合取）、+（析取）、-（条件）、=（双条件）
只识别英文字符
#include
int variable = 0; //公式中变量的个数
variable = getAlpha(OriFormula, CharL);
// cout << variable << endl << CharL; //输出变量个数和提取出的变量
int line = 2;
for(int i = 1; i < variable; i++)
{
line = line * 2;
}//需要构造多少行 2的variable次方
int a[variable] = {0};
a[variable - 1] = -1;
//打印真值表抬头
for (int i = 0; i < variable; i++)
{
cout << CharL[i] << " ";
}
cout << " " << OriFormula << " 真值" << endl;
//做行的循环
for(int i = 0; i < line; i++)
{
int d = variable;
//给每一个变量赋值
for(int j = d - 1; j >= 0; j--)
{
a[j]++;
if(a[j] <= 1)
break;
else
{
a[j] = 0;
d--;
}
}
//将每个变量的值放入公式中
for(int j = 0; j < variable; j++)
{
if(a[j] == 1)
{
for(int k = 0; k < num; k++)
{
if(Formula[k] == CharL[j])
Formula[k] = '1';
}
}
else
{
for(int k = 0; k < num; k++)
{
if(Formula[k] == CharL[j])
Formula[k] = '0';
}
}
}
//打印变量
for(int j = 0; j<variable; j++)
{
cout << a[j] << " ";
}
cout << " " << Formula << " "; //打印赋值后的公式
//运用定律推理
int cnew = num;
while(cnew > 1)
{
negarecal(Formula); //!
// cout << Formula <
removeP(Formula); //括号
// cout << Formula <
conjunction(Formula); //合取
// cout << Formula <
bicon(Formula); //双条件
// cout << Formula <
con(Formula); //条件
// cout << Formula <
extraction(Formula); //析取
// cout << Formula <
cnew = strlen(Formula);
}
cout << Formula <<endl; //打印真值
//在赋值后再恢复公式
for( int i = 0; i < num; i++)
{
Formula[i] = OriFormula[i];
}
Formula[num] = '\0';
}
}