Является ли ДНФ совершенной

[ExploiT243]

Совершенна, если каждая формула A,B,C,D,E или с отрицанием (!А-не А)входит по одному разу в одну скобку, иначе не совершенна
обязательно имеет вид: ()V()V...V()V()
Как расставить скобки, или что сделать чтобы проверяла в каждой скобке, и выводила 1 раз

#include <stdio.h>
#include <conio.h>
 
void main(void)
{char lol;
int a=0,b=0,c=0,d=0,e=0;
scanf("%c",&lol);
do{
    while (lol!='V')
        {scanf("%c",&lol);
            if (lol=='A' || lol=='!A') a++;
            if (lol=='B' || lol=='!B') b++;
            if (lol=='C' || lol=='!C') c++;
            if (lol=='D' || lol=='!D') d++;
            if (lol=='E' || lol=='!E') e++;
        }
            if(a==1 && b==1 && c==1 && d==1 && e==1) 
                printf("soversh");
            else printf("ne soversh");
    } while(scanf("%c",&lol) != EOF);
getch();
}