Question

我一直在Google搜索，却找不到解决方案。如果有人可以链接我或对此进行解释，我将不胜感激。

我有这个表达：

¬aΛb| aΛ¬b。 Λ是AND，¬不是。

真值表是：

A B Expression
--------------
T T F
T F T
F T F
F F T

我对为什么它们都不都是FALSE感到困惑。例如，如果我认为a和b为假：¬a和¬b优先，因此它们变为真。但是¬a（真）Λb（假）是假。并且由于Λ优先，所以（FALSE）Λ¬b（TRUE）再次为FALSE。如此假| FALSE = FALSE，对吧？

同样，对于a | b | c | d | e，其中|是OR。为什么只有d为FALSE，而另一个为true呢？

T   T   T   F   T

=假

Answer 1

您使用的计算器使用|表示NAND，而不是OR。您应将+用于OR。然后，真相表如期出现。除x AND y为真外，x NAND y为真； NAND的优先级与AND相同，因此运算符不带括号，将最左端绑定。公式的完整括号内版本是：

((((not a) and b) nand a) and (not b))

基于此生成真值表可得出观察到的结果。