086 - Snuke's Favorite Arrays（★5）
条件は桁ごとに独立に分解できる
桁ごとに分解すると$ x_i,y_i,z_i のbitwise-ORが$ v_i である、という条件$ Q個を全て満たすのは何通りか？という問題になる
これは3-SATの数え上げだが、$ N が小さいので桁ごとのbitの組み合わせを全て試せばよい
https://atcoder.jp/contests/typical90/submissions/60477113
2-SATでも数え上げは#P-complete