解决问题的一种方法可能是使用蛮力方法。我的意思是:尝试所有可能的值组合A
和B
(或你有多少值)并生成结果的真值表。
下面的示例说明了这一点(尽管它更像是C
而不是C++
)。
#include <iostream>
#include <algorithm>
#include <cmath>
#include <cassert>
const unsigned g_unValues = 2;
bool expression(int values[])
{
return !!(values[0] * (values[0] + values[1]));
}
void truth_table(bool (*func)(int[]), unsigned nvalues);
int main(int argc, char** argv)
{
truth_table(expression, g_unValues);
return 0;
}
void truth_table(bool (*func)(int[]), unsigned nvalues)
{
assert(pow(2, nvalues) <= sizeof(unsigned));
int values[nvalues];
unsigned individuals[nvalues];
unsigned result = 0;
std::fill_n(individuals, nvalues, 0);
// Display truth table header
for (unsigned j = 0; j < nvalues; j++) std::cout << char('A'+j) << ' ';
std::cout << "| Result" << std::endl;
for (unsigned i = 1; i <= pow(2, nvalues); i++)
{
for (unsigned j = 0; j < nvalues; j++)
{
values[j] = i & 0x1<<j;
if (values[j]) individuals[j] |= 0x1<<i;
}
bool eval = func(values);
if (eval) result |= 0x1<<i;
// Display truth table entry
for (unsigned j = 0; j < nvalues; j++) std::cout << !!values[j] << ' ';
std::cout << "| " << eval << std::endl;
}
for (unsigned j = 0; j < nvalues; j++)
{
if (result != individuals[j]) continue;
std::cout << "Expression equivalence: " << char('A'+j) << std::endl;
break;
}
}
这段代码本身并不是很有用,但是如果您选择蛮力方法,它可能会给您一些想法。expression
您可以调整代码以从用户提供的字符串创建一个。对于不简化为单个输出的表达式,您可以用生成最小字符串的方法替换将真值表的输入列与结果列进行比较的代码(初始输入布尔表达式的简化)。
希望这在某种程度上有用,祝你好运:)