고수님들 제발 도와주세요(졸라 쉬운건데 안되네요 흑)

#define MAX 10
void main(){

int i, j;
int num_var=0;
char sik[MAX];
char buf[BUFSIZ];

FILE *ifile;
ifile=fopen("truth.txt", "r");
fgets(buf, BUFSIZ, ifile);

for(i=0; i sik[i]='\0';

for(i=0; i
if((buf[i]!=NULL) && (buf[i]>='a') && (buf[i]
<'z')){
for(j=0; j<=num_var ; j++){

if(sik[j]!=buf[i]){
sik[num_var]=buf[i];
num_var++;
}
}
}

}

printf("%d",num_var);

}
진리표를 작성할려고 하는데 sik에다가 truth.txt에서 읽은 식 중에

뭐 p, q, r같은 명제를 넣을려 그러는데 식중에 p, q, r같은게 중복될

때가 있잖습니까? 그래서 buf[i]의 값을 기존에 sik과 비교해서 같지

않을 경우에만 sik배열에 넣을려고 하는데 런타임 오류가 자꾸 나네요

컴파일만 하면 에러도 안나고 좋더니..흑흑 고수분들 급속쾌변을 부탁드립
니다 꾸우우우우벅~