Gym - 101612B - Boolean Satisfability（字符串&&思路&&水题）

版权声明：沃斯里德小浩浩啊 https://blog.csdn.net/Healer66/article/details/82766804

链接：

https://odzkskevi.qnssl.com/76ee6a37a5e7b6e0a1da0f46372ab4da?v=1536788434

题意：

给出逻辑表达式，问你有多少种赋值能够使得使其值为真（只有 字母 和 ~ 和 |  三种字符）

思路：

只要所有字母只出现一次，答案就是2^n-1,因为只有一种成假赋值

再者，只要有一个字母同时有取反和本身，那么答案就为2^n(因为此时没有成假赋值)，n为字母种类，取反和不去反算一种。

有一个细节：

string ss = “”+s[i]; 这个表达式是错的，因为  “”  不是string类型，并没有重载+运算符。

string ss = “”， ss = ss +s[i] ; 这样写才对

#include <iostream>
#include <cstdio>
#include <cstring>
#include <set>
using namespace std;
set<string> q;
char s[3005];
int main()
{
    freopen("boolean.in","r",stdin);
    freopen("boolean.out","w",stdout);
    scanf("%s",s);
    bool flag=0;
    int len=strlen(s);
    for(int i=0; i<len; ++i)
    {
        if(isalpha(s[i]))
        {
            string ss="";
            ss=ss+"~"+s[i];
            if(q.count(ss))
            {
                flag=1;
            }
            else
            {
                string ss="";
                ss = ss+s[i];
                q.insert(ss);
            }
        }
        else if(s[i]=='~')
        {
            string ss="";
            ss = ss+s[i+1];
            if(q.count(ss))
            {
                flag=1;
            }
            else
            {
                ss="";
                ss = ss+"~"+s[i+1];
                q.insert(ss);
            }
            i+=1;
        }
    }
    long long ans=1;
    for(int i=0; i<q.size(); ++i)
    {
        ans*=2;
    }
    if(flag==0)
        ans-=1;
    printf("%lld\n",ans);
    return 0;
}