Use the Following Key to Determine Which of the Translations

use the following key to determine which of the translations of the given English argument to PL is best.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-Hilbert is a formalist if, and only if, Gödel is a platonist. Hilbert is not a formalist and Brouwer is an intuitionist. Hilbert is a formalist if Frege is a logicist. Therefore, Frege is not a logicist and Gödel is not a platonist.

A) H ≡ G ∼H • B
H ⊃ F / ∼F • ∼G
B) H ≡ G ∼H • B
F ⊃ H / ∼F • ∼G
C) G ⊃ H ∼H • B
F ⊃ H / ∼F • ∼G
D) H ⊃ G ∼H • B
F ⊃ H / ∼F • ∼G
E) H ⊃ G ∼H • B
H ⊃ F / ∼F • ∼G