Logic 一阶逻辑问题“；约翰只有一个兄弟；？

有人能帮我解决以下问题吗

我正在努力解释这个问题中的所有4个选项

我尝试将所有选项转换为CNF，但当我尝试进行解释时，这对我来说没有多大意义。

翻译：

(A) There exist x and y such that x is John's brother 
    and y is John's brother and x = y.
    <=> John has a brother.

(B) If there exists x such that x is John's brother then
    every y is John's brother and x = y.
    <=> If John has a brother then the brother is the
        only person in existence.

(C) If there exists x such that x is John's brother then
    for all y if y is John's brother then y = x.
    <=> If John has a brother then he only has one.

(D) If for all x, x is John's brother, then there exists
    a y such that y is John's brother and x = y.
    <=> If everybody is John's brother then John has
        a brother.

(E) There exists an x such that x is John's brother
    and for all y, if y is John's brother, then x = y.
    <=> John has a brother and he's the only one.

存在x和y，因此x是约翰的兄弟 y是约翰的兄弟，x=y。 约翰有一个弟弟。 （B） 如果存在x，那么x就是约翰的兄弟 每个y都是约翰的兄弟，x=y。 如果约翰有一个兄弟，那么这个兄弟就是他的兄弟 唯一存在的人。 （C） 如果存在x，那么x就是约翰的兄弟 如果y是约翰的兄弟，那么y=x。 如果约翰有一个兄弟，那么他只有一个。 （D） 如果x是约翰的兄弟，那么存在 y是约翰的兄弟，x=y。 如果每个人都是约翰的兄弟，那么约翰就有了 兄弟。 （E） 存在一个x，x就是约翰的兄弟 对于所有的y，如果y是约翰的兄弟，那么x=y。 约翰有一个哥哥，他是唯一的一个。 与您的语句相对应的选项是（E）。不可能是中间三个，因为它们都是有条件的（而你说约翰有个兄弟不是有条件的）。（A） 他说约翰有一个兄弟；然而，它并没有说兄弟是唯一的一个（只是一个存在）。严格地说，（A）说约翰有一个和他自己一样的兄弟，这可以说是指任何至少有一个兄弟的人