1 a ≡ ∼(B $\lor$ C)
2 ∼D ≡ (A • E)
3

Multiple Choice

1. A ≡ ∼(B $\lor$ C)
2. ∼D ≡ (A • E)
3. (D ⊃ B) • (E ⊃ B)
-Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?

A) B ≡ D
B) B ≡ E
C) B ≡ (D $\lor$ E)
D) B ≡ A
E) B ≡ (A $\lor$ E)