如何确定一个逻辑表达式中各单元的值?
C++初学者,非计算机专业,问题估计比较白目。比如表达式: (a & !b) | c , 要程序给出可能的a,b,c组合使得表达式为真,请问用什么算法呢?谢谢大家了。。。
如果不是特殊的表达式,一般就使用穷举,将所有组合的可能都试一次。
同时,也就使用一个变量来表达所有的值,如 int test;
当test从000b-111b的所有情况,各位对应各个变量,每次+1后判断。
以下是例子:
#include <stdio.h>
#include <stdlib.h>
#define GetAllBit(x,y) ((x&(1<<y))!=0)
#define ToBoolStr(x) (x?"true":"false")
int main(int argc, char *argv[])
{
int a = 0;
while(a<(1<<3)){
if( GetAllBit(a,0) && ! GetAllBit(a,1) || GetAllBit(a,2))
{
printf("a:%s b:%s c:%s\n",ToBoolStr(GetAllBit(a,0)),ToBoolStr(GetAllBit(a,1)),ToBoolStr(GetAllBit(a,2)));
}
a++;
}
system("pause");
}
如果是更多的变量的话,只要改当中的几个值即可。