Which is used to represent assertions and logical constraints?

• A. Logic
• B. Methods
• C. Controls
• D. Class