直觉告诉我这个逻辑有猫腻, 可是我还是找不出来, 可能是我想多了。 ( PHP )。 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
banli

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

  •  
  •   banli 2017 年 6 月 5 日 3668 次点击
    这是一个创建于 3246 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

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

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

    24 条回复    2017-06-10 10:19:03 +08:00
    johnlui
        1
    johnlui  
       2017 年 6 月 5 日
    送分题,当然不等价。。。。。
    U7Q5tLAex2FI0o0g
        2
    U7Q5tLAex2FI0o0g  
       2017 年 6 月 5 日
    明显不一样。
    johnlui
        3
    johnlui  
       2017 年 6 月 5 日
    三者相同的时候就不等价了
    forgcode
        4
    forgcode  
       2017 年 6 月 5 日
    不等!
    U7Q5tLAex2FI0o0g
        5
    U7Q5tLAex2FI0o0g  
       2017 年 6 月 5 日
    另外这跟 PHP 没关系,任何一种语言都适用。
    楼主你学过计算机的基础吗
    levin007
        6
    levin007  
       2017 年 6 月 5 日
    不等价,A,B,C 都为 true 时,第一个 status 为 a,第二个为 b
    feiyuanqiu
        7
    feiyuanqiu  
       2017 年 6 月 5 日
    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
        8
    kkhaike  
       2017 年 6 月 5 日
    应该是 (!A || !B || !C) ? b : a;
    U7Q5tLAex2FI0o0g
        9
    U7Q5tLAex2FI0o0g  
       2017 年 6 月 5 日   1
    解释太多了你们。
    简单的就是
    A && B == !A || !B
    banli
        10
    banli  
    OP
       2017 年 6 月 5 日
    出题失误, 写错了 。 第二个表达是 (!A || !B || !C) ? b : a; 对不住啦。
    mrgeneral
        11
    mrgeneral  
       2017 年 6 月 5 日
    高中数学吧,取反的时候符号和本身都得反啊。

    如果是按照#10 修正的话,那就没区别了。
    bukip
        12
    bukip  
       2017 年 6 月 5 日
    数字逻辑再读一遍
    U7Q5tLAex2FI0o0g
        13
    U7Q5tLAex2FI0o0g  
       2017 年 6 月 5 日
    @banli #10 A && B == !A || !B 这种已经是书里教过的“定理”之类的定论了吧,为什么要怀疑有猫腻?
    jiangzhuo
        14
    jiangzhuo  
       2017 年 6 月 5 日
    我们管这门课叫离散数学??
    grayon
        15
    grayon  
       2017 年 6 月 5 日
    status

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

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

    = ( !A || !B || !C ) ? b : a;
    banli
        16
    banli  
    OP
       2017 年 6 月 5 日
    哦哦。 明白了。 效率就是快
    U7Q5tLAex2FI0o0g
        17
    U7Q5tLAex2FI0o0g  
       2017 年 6 月 5 日
    bravecarrot
        18
    bravecarrot  
       2017 年 6 月 5 日 via iPhone
    肯定不会等价
    建议 lz 遇到这种不清楚逻辑的画个真值表
    geelaw
        19
    geelaw  
       2017 年 6 月 5 日
    @littleylv 错,是

    A && B == !(!A || !B)
    ryd994
        20
    ryd994  
       2017 年 6 月 5 日
    @geelaw
    @littleylv
    正规叫法是 De Morgan's law
    vingz
        21
    vingz  
       2017 年 6 月 5 日
    不等价,特例,A\B\C 都为 true 的时候
    U7Q5tLAex2FI0o0g
        22
    U7Q5tLAex2FI0o0g  
       2017 年 6 月 5 日
    @geelaw #19 哈哈 是的是的 尴尬了
    Sapp
        23
    Sapp  
       2017 年 6 月 5 日
    压根没仔细看都不可能等价....
    mingyun
        24
    mingyun  
       2017 年 6 月 10 日
    15 楼正解
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2983 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 66ms UTC 06:49 PVG 14:49 LAX 23:49 JFK 02:49
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86