Given the following statements : (A) A class of language that is closed under union and complementation has to be closed under intersection
Given the following statements :
(A) A class of language that is closed under union and complementation has to be closed under intersection
(B) A class of language that is closed under union and intersection has to be closed under complementation
Which of the following options is correct?
Show answerHide answer
Correct answer: (C) (A) is true, (B) is false
Explanation
(A) is true by De Morgan's law: A ∩ B = (A' ∪ B')'. (B) is false: recursively enumerable languages are closed under union and intersection but not under complementation.