#include <stdio.h>

#define SOUBOR_VSTUP "formule.in"
#define MAX_N 1000

typedef struct {
    int pravdivych;
    int celkem;
} uzavorkovani;

int operand[MAX_N];
char operace[MAX_N];
uzavorkovani podvyraz[MAX_N][MAX_N];

uzavorkovani spocti(int start, int konec) {
    uzavorkovani vysledek;
    if(start==konec) {
        vysledek.pravdivych=operand[start];
        vysledek.celkem=1;
        return vysledek;
        }
    //jestliže jsme to již jednou spočetli, vrátíme z paměti
    else if(podvyraz[start][konec].celkem!=-1)
        return podvyraz[start][konec];
    else {
        vysledek.pravdivych=0;
        vysledek.celkem=0;
        int i;
        for(i=start;i<konec;i++) {
            uzavorkovani A=spocti(start,i);
            uzavorkovani B=spocti(i+1,konec);
            if(operace[i]=='A')
                vysledek.pravdivych+=A.pravdivych*B.pravdivych;
            else if(operace[i]=='O')
                vysledek.pravdivych+=A.pravdivych*B.celkem
                +B.pravdivych*A.celkem-A.pravdivych*B.pravdivych;
            vysledek.celkem+=A.celkem*B.celkem;
        }
        podvyraz[start][konec]=vysledek;
        return vysledek;
    }
}

int main(void) {
    FILE *vstup=fopen(SOUBOR_VSTUP, "r");

    char pomocna[3];
    fscanf(vstup,"%d",&operand[1]);
    int i=1;
    while(!feof(vstup))
    {
        fscanf(vstup,"%s %d",&pomocna,&operand[i+1]);
        operace[i]=pomocna[0]; //zredukujeme AND->A a OR->O
        i++;
    }
    fclose(vstup);
    int pocet=i; //počet operandů

    //inicializace paměti pro podvýrazy
    int j;
    for(i=1;i<=pocet;i++) {
        for(j=1;j<=pocet;j++) podvyraz[i][j].celkem=-1;
    }

    printf("Uzavorkovani rovnych 1 je %d, rovnych 0 je %d",
           spocti(1,pocet).pravdivych,
           spocti(1,pocet).celkem-spocti(1,pocet).pravdivych);

    return 0;
}