Which of the following are correct? Justify your answer. Notethat in order to answer if α╞ β find the modelsM(α) in which α is true,similarly find the models M(β) in which β is true and
then check whether M(α) is a subset of M(β) ornot.
(a) (A ^ B) ╞ (A⇔B)
(b) (A⇔B) ╞ (A∨B)
(c) (A⇔B) ╞ (¬A∨B)
Expert Answer
An answer will be send to you shortly. . . . .