I Know Something If, and Only If, I Have Some

Multiple Choice

I know something if, and only if, I have some causal contact with the physical world. If I know something, then there is no demon deceiver. I know something. So, I know something just in case both I have causal contact with the physical world and there is no demon deceiver.
-Which of the following is the best translation into PL of this argument?

A) K ≡ C K ⊃ ∼D
K / K ≡ (C • ∼D)
B) K ≡ C K ⊃ ∼D
K / (K ≡ C) • ∼D
C) K ≡ C K ≡ ∼D
K / K ≡ (C • ∼D)
D) K ≡ C ∼D ⊃ K
K / K ≡ (C • ∼D)
E) K ≡ C ∼D ⊃ K
K / (K ≡ C) • ∼D