Logic 转换不等价：与de morgan不同（A<；->；B）

我有以下不等价性：

not(A <-> B)

但是，如果我想通过对not（ab）应用demorgan得出这个结论，我总是得到一个错误的结果。对我来说，将德摩根应用于

(A <-> B)

（A B）

但我在这件衣服上试穿时，从来没有得到正确的结果：

 not(A <-> B)

不是（A-B）

也许有人给了我一个建议，告诉我如何与德·摩根合作。 谢谢

（A-B）（A->B&B->A）

（Z->Y）（^Z|Y）

因此

^（A->B&&B->A）^（^A|B）&&&（^B|A））

因此

^（ab）（^（^A | B）| ^（^B | A））

^（ab）（（A&&B）|（^A&&B））

^（ab）A异或B

---

问题出在哪里？

我投票将这个问题作为离题来结束，因为它是关于逻辑的，而不是直接关于编程或编码的。

 not(A <-> B)