1185.15 BDD(Binary Decision Diagram) 방법