Which of the following logical operation can be implemented by polynomial time graph manipulation algorithms using Binary Decision Diagrams?$

• A. Conjunction
• B. Disjunction
• C. Negation
• D. All of the mentioned