Add to Chrome
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Which of the following formulas are subformulas of
(¬⊤ ∧ ((a → ¬ (b ∨ ¬c)) ∨ (¬a ∧ b ∨ ¬c)))?
¬b ∨ ¬c
(a → ¬ (b ∨ ¬c)) ∨ (¬a ∧ b ∨ ¬c)
¬⊤ ∧ ((a → ¬ (b ∨ ¬c)) ∨ (¬a ∧ b ∨ ¬c))
¬a ∧ b
Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!