If statement 何时使用XOR和何时使用IFF？

因为（（不是A）XOR B）和A→B（“如果……那么”）（~A→~B） 逻辑相同（例如，除非进行身份验证，否则无法登录）是否有实际用途，或者只是逻辑重言式，程序员可以任意决定在何处使用XOR，在何处使用if…then

重写的一个例子是支付→交货（“iff付款（）==‘完成’然后交货（）”）重写为（（非付款（））XOR交货（））

编辑：真值表

A:付款 B:送货

A B A' (A→B) (A' XOR B) (A' OR B) T T F T T T T F F F F F A’（A→B） （A’XOR B）（A’或B） T T F T T tff 失败在哪里

A B A' (A→B) (A' XOR B) (A' OR B) T F F F F F A’（A→B） （A’XOR B）（A’或B） tff a为假的情况就是B为假，下面所有的都表示B为假（因为不是a）

A’（A→B） （A’XOR B）（A’或B） F T T F T F F T T T 或

目标→ 得分^目标→评分

，这样就有了决定论，没有其他方法（如果你没有进球，你就不能得分）

A→B相当于（A'或B）。它们在逻辑上是相同的，可以互换使用

A B A' (A→B) (A' XOR B) (A' OR B) (B iff A) T T F T T T T T F F F F F F F T T T F T F F F T T T T T 为一个实例构造真值表→和（A'XOR B），你会发现它们在逻辑上是不等价的

编辑：这是真值表

EDIT2：用（B iff A）更新了真值表，是的，逻辑上等同于（A’XOR B），可以互换使用

A B A' (A→B) (A' XOR B) (A' OR B) (B iff A) T T F T T T T T F F F F F F F T T T F T F F F T T T T T A’（A→B） （A'XOR B）（A'或B）（B如果是A） T T T T T T tff F T T T F F F T T T

---

我不确定它们是否相同，至少在命令式语言中不一样。。。e、 g.（（不是A）XOR B）如何从两种不同的代码路径中选择一种？我还没有假设一种语言（可能是prolog或其他基于规则的语言来简化操作），但是如果我们简单地考虑

密码匹配→登录

我们可以像XOR i e

那样编写逻辑（（不是密码匹配）XOR登录）

谢谢<代码>~A→~B^A→B正是我所说的。没有A就没有B。