#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같은게 중복될