1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
#include<iostream>
#include<vector>
#include<cstdlib>
#include<cmath>
using namespace std;

string dec_to_bin(int number){
    string result = "";
    do{
        if((number & 1) == 0) result += "0";
        else result += "1";
        number >>= 1;
    } while(number);
    while(result.size() != 30) result+= "0";
    return result;
}

struct Funkcja{
    int tab[31];
    Funkcja(){
        for(int i=0; i<31; i++){
            tab[i]=0;
        }
    }
};

vector< Funkcja* > funkcje;

bool logiczna(string tab, Funkcja* a){
    for(int i=0; i<=30; i++){
        int w;
        if(tab[i] == '1') w=1;
        else w=-1;
        if(w*a->tab[i] == 1) return true;
    }
    return false;
}

int main(){
    int n;
    cin >> n;
    cin.get();
    string wartosc;
    getline(cin, wartosc);
    if(n<= 30){
        for(int i=0; i<wartosc.size(); i++){
            if(wartosc[i] == '('){
                funkcje.push_back(new Funkcja);
            }else if(wartosc[i] == 'x'){
                ++i;
                string liczba="";
                while(wartosc[i] != ' ' && wartosc[i] != ')') liczba+=wartosc[i++];
                int x = atoi(liczba.c_str());
                funkcje[funkcje.size()-1] -> tab[x-1] = 1;
            } else if(wartosc[i] == '~'){
                i+=2;
                string liczba="";
                while(wartosc[i] != ' ' && wartosc[i] != ')') liczba+=wartosc[i++];
                int x = atoi(liczba.c_str());
                funkcje[funkcje.size()-1] -> tab[x-1] = -1;
            }
        }
        int licznik=0;
        for(int i=0; i<pow(2,n); i++){
            string binar=dec_to_bin(i);
            bool w=1;
            for(int j=0; j<funkcje.size(); j++){
                if(!logiczna(binar, funkcje[j])){
                    w=0;
                    break;
                }
            }
            if(w) licznik++;
        }
        cout << licznik << "\n";
    }
}