Класс "логические выражения"

#include <stdio.h>
#include <malloc.h>
#include<string.h>
#include <stdlib.h>
#include <math.h>
char C(char *arr,char res);
char * newArr(char *str){
    int i=0,j,b=0;
    char *str2=(char*)malloc(81*sizeof(char));
    for(i=0;i<81;i++){
        for(j=i+1;j<80;j++){
           if(str[i]==str[j]){
            str[j]=' ';
            }
        }
        if(((str[i]>=65)&&(str[i]<=90))||((str[i]>=97)&&(str[i]<=122)))
         str2[b++]=str[i];
        if(str[i]=='\0')
            str2[b]='\0';
    }
    return str2;
}
 int options(int size){
    return (int)pow(2,size);
}
int *binary(int num,int size){
    int *bin=(int*)malloc(sizeof(int)*size);
    int n;
    for(n=size-1;n>=0;n--){
        if(num%2==0) bin[n]=0;
        else bin[n]=1;
        num=num/2;
    }
    return bin;
}
int *azava(char *str2,int *ptr,char *str){
    int i,j;
    int *arr=(int*)malloc((int)strlen(str)*sizeof(int));
    for(i=0;i<(int)strlen(str);i++){
        for(j=0;j<(int)strlen(str);j++){
            if(str[i]==str2[j]){
                arr[i]=ptr[j];
            }   
        }
    }
    return arr;
}
char* Convert(char *str3,int *res,int sizeofstr3){
    char *arr=(char*)malloc(sizeofstr3*sizeof(char));
    int i,j=0;
    for(i=0;i<=sizeofstr3;i++){
        if(str3[i]=='!'){
            if(res[i+1]==1)
                res[i+1]=0;
            else
               res[i+1]=1;
        }
        if(((str3[i]>=60)&&(str3[i]<=62))||(str3[i]=='^')||(str3[i]=='|'))
            arr[j++]=str3[i];
            if(res[i]==0){
            arr[j++]='0';
            }
            if(res[i]==1){
            arr[j++]='1';
            }
            if(str3[i]=='\0'){
            arr[j++]='\0';
            }
    }
    return arr;
}
void start(char*str){
    int i,j, count=0,flag=1;
    char c='0';
    char *str2,str3[81];
    int *ptr,*res;
    char *sss;
    for(i=0;i<=(int)strlen(str);i++){
        str3[i]=str[i]; 
    }
    str2=newArr(str);
    count=options((int)strlen(str2));//number of variations
    printf("Expression is:%7s\n",str3);
    printf("%5s   Result:\n\n",str2);
    for(j=0;j<count;j++){
        ptr=binary(j,(int)strlen(str2));//variation
        printf("  ");
        for(i=0;i<(int)strlen(str2);i++){
            if(ptr[i]==0)
                printf("F");
            if(ptr[i]==1)
                printf("T");
        }
        res=azava(str2,ptr,str3);
        sss=Convert(str3,res,(int)strlen(str3));
        c=C(sss,c);
        if(c=='0'){
            printf("   False\n");
            flag=0;
        }
        else 
            printf("   True\n");
    }
    if(flag==1) printf("The expression is TAUTOLOGY\n");
    else printf("The expression is Satisfyable.\n");
}
char  C(char *arr, char res){
    int i,b=0,d=3;
    char j;
    char s[4];
    char *s2=arr;
      for(i=0;i<4;i++){
         if(i==3){
            s[i]='\0';
         }
         s[i]=arr[i];
      }
      for(i=4;i<(int)strlen(s2);i++){
        if(s2[i]=='\0')arr[b]='\0';
        arr[b++]=s2[i];
      }
      //-----VEGAM-----
    if(s[1]=='^'){
        if((s[0]=='1')&&(s[2]=='1'))
            j='1';
        else
            j='0';
    }
    // -------OR-----
    if(s[1]=='|'){
        if((s[0]=='0')&&(s[2]=='0'))
            j='0';
        else
            j='1';
    }
    //---shkilut-----
    if(s[1]=='='){
        if(s[0]==s[2])
            j='1';
        else
            j='0';
    }
    //-----grira L2R----
    if(s[1]=='>'){
        if((s[0]=='1')&&(s[2]=='0'))
            j='0';
        else
            j='1';
    }
    //----grira R2L------
    if(s[1]=='<'){
        if((s[0]=='0')&&(s[2]=='1'))
            j='0';
        else
            j='1';
    }
    for(b=0;b<(int)strlen(arr);b++){
        if(arr[d]=='\0')arr[b]='\0';
        if(b==0) arr[0]=j;
        else arr[b]=arr[d++];
    }
    if((int)strlen(arr)<3)
        return j;
    return C(arr,j);
}
 
void main(){
    char str[sizeof(char)*81];
    scanf("%s",&str);
    start(str);
}