直觉告诉我这个逻辑有猫腻， 可是我还是找不出来, 可能是我想多了。 （ PHP ）。

[banli]

请告诉我，下面的两个表达式是否等价。 有三个条件 A, B, C 和两个 状态 a, b。

status = ( A && B && C ) ? a : b;

status = (A || B || C) ? b : a;

[johnlui]

送分题，当然不等价。。。。。

[littleylv]

明显不一样。

[johnlui]

三者相同的时候就不等价了

[forgcode]

不等！

[littleylv]

另外这跟 PHP 没关系，任何一种语言都适用。
楼主你学过计算机的基础吗

[qq8567952]

不等价，A,B,C 都为 true 时，第一个 status 为 a，第二个为 b

[feiyuanqiu]

status1 = ( A && B && C ) ? a : b;
status2 = (A || B || C) ? b : a;

当 A、B、C 都为假时，status1 = b, status2 = a
当 A、B、C 都为真时，status1 = a, status2 = b

[kkhaike]

应该是 (!A || !B || !C) ? b : a;

[littleylv]

解释太多了你们。
简单的就是
A && B == !A || !B

[banli]

出题失误， 写错了 。 第二个表达是 (!A || !B || !C) ? b : a; 对不住啦。

[mrgeneral]

高中数学吧，取反的时候符号和本身都得反啊。

如果是按照#10 修正的话，那就没区别了。

[bukip]

数字逻辑再读一遍

[littleylv]

@banli #10 A && B == !A || !B 这种已经是书里教过的“定理”之类的定论了吧，为什么要怀疑有猫腻？

[jiangzhuo]

我们管这门课叫离散数学？？

[grayon]

status

= ( A && B && C ) ? a : b;

= !( A && B && C )? b : a;

= ( !A || !B || !C ) ? b : a;

[banli]

哦哦。 明白了。 效率就是快

[littleylv]

@jiangzhuo #14 好像是这个学的 https://book.douban.com/subject/1268628/

[bravecarrot]

肯定不会等价
建议 lz 遇到这种不清楚逻辑的画个真值表

[geelaw]

@littleylv 错，是

A && B == !(!A || !B)

[ryd994]

@geelaw
@littleylv
正规叫法是 De Morgan's law