DouKaku?

#include <stdio.h>
#include <memory.h>

int dec2bin(char *buf, size_t bufsize, int n)
{
    memset(buf, '\0', bufsize);
    while( bufsize > 0 )
    {
        buf[bufsize-1] = n & 1;
        bufsize --;
        n >>= 1;
    }
    return 0;
}

int solver(const char *op[], size_t nop)
{
    int bits = nop + 1;
    int result ;
    int n,k,m;

    for( k=0; k<nop; k++ )
    {
        /* NOTは右辺のみなので値無し */
        if( strcmp(op[k], "not") == 0 ) bits --;
    }
    char x[bits];

    bits = 1 << bits;
    for( n=bits; n>0; n--)
    {
        dec2bin(x, sizeof(x), n); /* ビット配列に変換 */
        result  = x[0] ;
        if( strcmp(op[0], "not") == 0 ) result = (~x[0] & 1);
        for( m=0,k=0; k<nop; k++,m++ )
        {
            if( k<nop-1 )
            {
                /* NOTの場合は先に計算する */
                if( strcmp(op[k+1], "not") == 0 ) x[m+1] = (~x[m+1] & 1);
            }

            if( strcmp(op[k], "not") == 0 ) m--; /* 計算済みなので次も同じ値を使用する */
            else if( strcmp(op[k], "and") == 0 ) result &= x[m+1];
            else if( strcmp(op[k], "or") == 0 )  result |= x[m+1];
            else if( strcmp(op[k], "xor") == 0 ) result = (result ^ x[m+1]) & 1;
            else
            {
                printf("invalid opration:[%s]\n",op[k]);
                return -1;
            }
        }
        if( result == 1 )
        {
            /* 結果出力 */
            dec2bin(x, sizeof(x), n);
            printf("(");
            for( m=0; m<sizeof(x)-1; m++ )
            {
                printf("%s, ", (x[m])?"True":"False");
            }
            printf("%s)\n", (x[m])?"True":"False");
        }
    }
    return 0;
}

int main(int argc, char *argv[])
{
    solver( (const char *[]){"and","or","not","and"}, 4);
    return 0;
}