simple Binary Decision Diagram (BDD) ROBDD

- 테스트 코드는 http://algospot.com/judge/problem/read/TWONQR