如何确定一个逻辑表达式中各单元的值？

如果不是特殊的表达式，一般就使用穷举，将所有组合的可能都试一次。
同时，也就使用一个变量来表达所有的值，如 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");
}
如果是更多的变量的话，只要改当中的几个值即可。

不位操作也行，你就 a = 0 或者 1; b = 0, 1; c = 0, 1 试过来也可以。