Artificial Intelligence MCQs with Answers
Practice important Artificial Intelligence MCQs with answers and explanations.
Multiple Choice Questions
Q551: The clause A ∨ B is known as:
- A: Conjunction
- B: Disjunction
- C: Literal
- D: Negation
View Answer
B
Q552: Resolution works best when the expressions are in:
- A: Canonical form
- B: Disjunctive normal form
- C: Conjunctive normal form
- D: Negation normal form
View Answer
C
Q553: To convert (A → C) into CNF, the first step is:
- A: Use distributive law
- B: Eliminate implication
- C: Negate conclusion
- D: Resolve variables
View Answer
B
Q554: ¬(A ∨ B) is equivalent to:
- A: ¬A ∧ ¬B
- B: ¬A ∨ ¬B
- C: A ∨ B
- D: ¬A ∧ B
View Answer
A
Q555: The expression (¬B ∨ C) is derived from which implication?
- A: B → C
- B: C → B
- C: ¬C → B
- D: A → C
View Answer
A
Q556: Resolution requires expressions in which of the following logical form?
- A: Conjunctive normal form
- B: Disjunctive normal form
- C: Modus Tollens
- D: Conjunctional inference
View Answer
A
Q557: The following is NOT a correct CNF clause:
- A: A ∨ ¬B
- B: B ∧ C
- C: ¬A ∨ C
- D: C ∨ B
View Answer
B
Q558: Resolution refutation is used to:
- A: Verify truth tables
- B: Derive contradictions to prove statements
- C: Check syntax only
- D: Convert to DNF
View Answer
B
Q559: In CNF conversion, De Morgan's Law is used to:
- A: Distribute OR over AND
- B: Eliminate variables
- C: Move negations inward
- D: Satisfy resolution
View Answer
C
Q560: The step ¬C is known as:
- A: A clause
- B: Goal expression
- C: Negated conclusion
- D: Disjunctive formula
View Answer
C