1 (P • ∼Q) ≡ (R $\lor$ S)
2 ∼(R ≡ ∼T)
3

Multiple Choice

1. (P • ∼Q) ≡ (R $\lor$ S)
2. ∼(R ≡ ∼T)
3. (T $\lor$ ∼S) • (T $\lor$ P)
4. ∼T
-Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?

A) ∼R ≡ ∼∼T
B) ∼R ≡ T
C) ∼R ≡ ∼T
D) Options A, B, and C
E) Options A and B, but not option C