Expression

• 怒られますた(´ω｀)

インプット解析すべくSubmitしまくってたら、中の人に怒られました。ごめんにょ。ちゅうわけで、完全に解析はできなかったのですが、EODまでの部分だけ載せとく。で、また怒られたりして(;´д｀)

A = (1 A A A A A A A A A A A A A A A A A A A A A A A A A A A A (A A A A B B B B B B (B B B B B B B B)))
B = (1 A A A A A A A A A A A A A A A A A A A A A A A A A A A A (A A A A B B B B B B (B B B B B B B B)))
X = (1 V T)
T = (1 X V)
V = (1 X T)
BBB = 12345
EOD

実は最後(BBBのところ)を調べてる途中でメールが来たので、12345というのは私が適当に決めた数字です。何しか、値が入ってるということで。
このケースだと、すべての組み合わせを調べた時

A ? B
A ? X
A ? T
A ? V
A ? BBB
B ? X
B ? T
B ? V
B ? BBB
X ? T
X ? V
X ? BBB
T ? V
T ? BBB
V ? BBB
EOE

に答えはどーなるんでしょね。BBBとの比較はまあ0になるのでしょうけど、X,T,Vの辺りがよーわからん。1でいいのか・・・。