MCQ
41.
Which is mainly used for automated reasoning?
Correct Answer: C