СДНФ и СКНФ

[Alexandr-]

Здравствуйте. Помогите исправить СКНФ и как можно реализовать программу чтобы количество переменных булевой функции было до 9, а у меня до 2.

Задание(кратко):
Написать программу на языке высокого уровня, которая по данной таблице истинности булевой функции составит её совершенную дизъюнктивную и совершенную конъюнктивную формы.

Пример таблицы(он может быть другой):
2
0 0 0
0 1 1
1 0 1
1 1 0

#include <iostream>
int main()
{
int i,n,r,k,sh,sh2; int tt[100]; 
FILE *f1,*f2,*f3; 

f1 = fopen("table.txt","rb");
f2 = fopen("SDNF.txt","w");
f3 = fopen("SKNF.txt","w");
//-----------------------------------------

fscanf (f1,"%d",&n); //1-ая строка, и она равна 2
printf("n=%d\n",n); //проверка для себя
r=n; r=n;
k=1;//порядковый номер х
sh=0;//кол-во
sh2=0;//кол-во
for(i=0;!feof(f1);i++) {fscanf(f1,"%d",&tt[i]);}//сканирование

f1 = fopen("table.txt","rb");//перенос курсора в начало
fscanf (f1,"%d",&n);//перенос курсора на 2 строку

for(i=0;!feof(f1);i++)//цикл на считывание со 2 строки, т.к. там курсор
{

	fscanf(f1,"%d",&tt[i]);

	printf("%d",i);
	printf("tt=%d\n",tt[i]);
	printf("ttr=%d\n",tt[r]);
//--------------------------------------------
	if(tt[r]==1)//проверка на СДНФ
		{
		if(i!=r)
			{
			sh=sh+1;
			
			if(tt[i]==0)
				{
				if(n==1)
					{
					fprintf(f2,"(X1')");
					if(sh>1) {fprintf(f2,"  |  ");}
					//r=r+n+1;
					}
				if(n>1)//0
					{
					if(k==1) fprintf(f2,"(");
					fprintf(f2,"X");
					fprintf(f2,"%d'",k);
					if(k==1) fprintf(f2," & ");
					if(k==2) {fprintf(f2,")"); if(sh==2) {fprintf(f2,"  |  "); k=0;}}
					k++;
					}
				}
			if(tt[i]==1)
				{
				if(n==1)
					{
					fprintf(f2,"(X1)");
					if(sh>1) {fprintf(f2,"  |  ");}
					//r=r+n+1;
					}
				if(n>1)//1
					{
					if(k==1) fprintf(f2,"(");
					fprintf(f2,"X");
					fprintf(f2,"%d ",k);
					if(k==1) fprintf(f2," & ");
					if(k==2) {fprintf(f2,")"); if(sh==2) {fprintf(f2,"  |  "); k=0;}}
					k++;
					}
				}
		
			}
		if(i==r)
			r=r+n+1;
		}
//-----------------------------------------

//--------------------------------------------
	if(tt[r]==0)//проверка на СКНФ
		{
		if(i!=r)
			{
			sh2=sh2+1;
			
			
			if(tt[i]==0)
				{
				if(n==1)
					{
					fprintf(f3,"(X1)");
					if(sh2>1) {fprintf(f3,"  &  ");}
					//r=r+n+1;
					}
				if(n>1)//0
					{
					if(k==1) fprintf(f3,"(");
					fprintf(f3,"X");
					fprintf(f3,"%d",k);
					if(k==1) fprintf(f3," | ");
					if(k>=2) {fprintf(f3,")"); if(sh2==2) {fprintf(f3,"  &  "); k=0;}}
					k++;
					}
				}
			if(tt[i]==1)
				{
				if(n==1)
					{
					fprintf(f3,"(X1')");
					if(sh2>1) {fprintf(f3,"  &  ");}
					//r=r+n+1;
					}
				if(n>1)//1
					{
					if(k==1) fprintf(f3,"(");
					fprintf(f3,"X");
					fprintf(f3,"%d'",k);
					if(k==1) fprintf(f3," | ");
					if(k>=2) {fprintf(f3,")"); if(sh2==2) {fprintf(f3,"  &  "); k=0;}}
					k++;
					}
				}	
		
			}
		if(i==r)
			r=r+n+1;
		}
//-----------------------------------------

}

system("pause");
//-----------------------------------------
fclose(f1);
fclose(f2);
fclose(f3);
	return 0;
}