1620 < ICPC Prelim < Challenges | Aizu Online Judge 問題 以下の BNF によって定義される、 4 変数の論理式が与えられる。 1 <E> ::= 0 | 1 | a | b | c | d | -<E> | (<E>*<E>) | (<E>^<E>) ここで-、*、^はそ