AtCoder Beginner Contest 189 D - Logical Expression

题目链接
题目大意：给定$N$个字符串$S_1，\dots ，S_n$ ，每个字符串内容为 $AND$ 或 $OR$ 。找到使$y_n$为$1$的序列$（x_0，\dots ，x_n）$的数量。
1.$y_0=x_0$
2.对于$i\ge 1$ ,当$Si$ 为$AND$时，$y_i=y_{i-1}\wedge x_i$ ；当$Si$ 为$OR$时，$y_i=y_{i-1}\vee x_i$
思路：$f[i][j]$表示前i步,y为j的方案数,初始状态为$f[0][0]=f[0][1]=1$,
然后枚举下一步x的选择进行dp的转移方案数,$f[n][1]$即是所要求的答案。
代码：

#include <iostream>
#include <cstdio>
#define fi first
#define se second
#define pb push_back
using namespace std;
typedef long long ll;
typedef pair <int, int> PII;
const int N = 1e5 + 10;
const ll mod = 1e9 + 7;
int t, n, a[N];
string s[80];
ll f[80][2];
int main() {
	cin >> n;
	for(int i = 1; i <= n; i++) cin >> s[i];
	f[0][0] = 1;
	f[0][1] = 1;
	for(int i = 1; i <= n; i++) {
		if(s[i] == "OR") {
			f[i][0] = f[i - 1][0];
			f[i][1] = 2 * f[i - 1][1] + f[i - 1][0];
		}
		else {
			f[i][0] = f[i - 1][1] + 2 * f[i - 1][0];
			f[i][1] = f[i - 1][1];
		}
	}
	printf("%lld", f[n][1]);
	return 0;
}