逻辑推断

void f(int *a,int cur,int n)
{
if(cur==n)
{
int ok=0;
if((a[0]&&a[1])||!a[0]) ok++;
if(!(a[2]||a[3])||a[2]) ok++;
if(a[0]+a[2]<=1) ok++;
if(a[1]+a[3]==1) ok++;
if(a[3]+a[4]+a[5]+a[6]+a[7]>=2) ok++;
if((a[2]&&a[6])||(!(a[2]||a[6]))) ok++;
if(a[2]+a[4]+a[6]+a[8]<=2) ok++;
if((a[4]&&a[5]&&a[6])||!a[4]) ok++;
if((a[5]&&(!(a[6]||a[7])))||(!a[5])) ok++;
if(a[8]+a[9]>0||a[7]) ok++;
if(ok==10)
{
for(int i=0;i<10;i++)
cout<<a[i]<<" ";
cout<<endl;
}
return ;
}
for(int i=0;i<2;i++){
a[cur]=i;
f(a,cur+1,n);
}
}
int main()
{
int a[100];
f(a,0,10);
}