我需要一种算法,该算法可生成大小为n的真值表的所有初始布尔值。
Ex)
Size = 1: 1)T F
Size = 2: 1)T T F F 2)T F T F
Size = n: ?
格式目前不重要,但理想情况下,其格式为:
for(int i = 0; i<n; i++){
//do something
}
我的最终目标是对所有可能的值进行布尔电路的完整测试。该电路已正确实现,但我需要一种方法来测试采用n个输入的电路上所有输入的排列。所以结束函数看起来像:
static void completeTest(Circuit *circuit){
double num_inputs = getNumInputs(circuit);
double perm = pow(2,num_inputs);
for(int i = 0; i<perm; i++){
//do something
}
}
尝试一下:
char values[] = {'F', 'T'};
unsigned long long perm = 1ULL << n;
for (unsigned long long i = 0; i < perm; i++) {
for (unsigned int j = 0; j < n; j++) {
printf("%c",values[(i >> j) & 1]);
}
printf("\n");
}