推 Jyou:阿阿 ITE(F, G, H) = (ITE(!F, H, G)) XD? 01/20 01:13
※ 編輯: ric2k1 來自: 61.221.91.113 (01/20 01:31)
推 ric2k1:啊啊 改過來了 XD! 01/20 01:31
很多人在這裡會遇到問題, 我稍微提示一下好了...
For example, in this rule ---
ITE(F, G, H) = ITE(!F, H, G)
It's a pitfall to think that the F on the left hand side is "no-bubble", and
the F on the right hand side is "with bubble".
NOTE: the F and !F on both sides just say that they are "complemented".
It does not mean which one has or has no bubble...
Don't get confused...
The same principle applies to other part of this rule.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.221.91.113